diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-26 16:18:04 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-26 16:18:04 +0100 |
commit | a0a475546b6f50644a1fa2a1e8586afde1ec82eb (patch) | |
tree | abbe3d967b675f15b1917946f3b10bcfea754891 /docs/user | |
parent | d86a2426a21b8e0dddaeffcdd9e153cd909a65f8 (diff) | |
parent | de7b2482274df76d3acece3cc8c1388a77e76e09 (diff) |
Merge #5078
5078: 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