diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-13 10:45:29 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-13 10:45:29 +0100 |
commit | b5cb16fb90b4a1076604c5795552ee4abe07a057 (patch) | |
tree | 12091cc377801f0a33220543eb180795613077fc /docs/user | |
parent | 45883921f93aa2a81ceb8d0e04744ff8d3371df1 (diff) | |
parent | 80c241b39a02a949c745676e22b28db95186feda (diff) |
Merge #5741
5741: Minor
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions