diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-13 17:31:42 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-13 17:31:42 +0100 |
commit | 38a53c29ea527d938c8d3922260d6b6e0a34183b (patch) | |
tree | 2fd117a268b5391780e0b006bf66acc78a97be51 /docs/user/manual.adoc | |
parent | 312f1fe20a6a0a8e69834c66f51b9abc9db5e0ce (diff) | |
parent | 0cb54434556539430a74012c183d4d64b4709819 (diff) |
Merge #8825
8825: Corrected minor typo on line 20 r=lnicola a=mixio
Co-authored-by: mixio <[email protected]>
Diffstat (limited to 'docs/user/manual.adoc')
0 files changed, 0 insertions, 0 deletions