diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-19 16:55:29 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-19 16:55:29 +0100 |
| commit | fc709c8b210c551c97ca3b7c7daeaabc15cd80aa (patch) | |
| tree | 3eebe39070ab3b3d986a3f0db2c46a300a38fe2a /docs/user | |
| parent | 2b5f35ca4b5569ec8947083be3fecff938c3b8ba (diff) | |
| parent | c96c38edd3e2d399c17f7a9346053162c0e149f7 (diff) | |
Merge #8583
8583: Simplify r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions