diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-09 19:26:33 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-09 19:26:33 +0000 |
| commit | fc1595539ee410c6a713e9b33d2074ae3732b849 (patch) | |
| tree | e6e048ca42f1bce771d7981e6714edfc57383ab5 /.gitignore | |
| parent | 928d4c6744d4b06bb1d67ea9b967c27342eea38c (diff) | |
| parent | bb412f314db01fb7fe356b658fe36e21fa9fb4fb (diff) | |
Merge #6789
6789: Fix a typo in manual.adoc r=lnicola a=cuviper
Co-authored-by: Josh Stone <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions