diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-12 19:26:23 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-12 19:26:23 +0100 |
commit | 27e80e943824855c5913f20a776b3a5fa959e942 (patch) | |
tree | bef77abe99967e7a17c3f7f323fb879611cea16f /docs/dev/guide.md | |
parent | 9f25676f0cb8e89d621d9da5951a54ef814dbd0f (diff) | |
parent | 2f60cec3acb8e63d25e752c82f7f4ca3ed2ec5b1 (diff) |
Merge #8488
8488: Fix typo: liner -> linear r=SomeoneToIgnore a=NieDzejkob
:see_no_evil:
Co-authored-by: Jakub Kądziołka <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions