diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-27 10:27:01 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-27 10:27:01 +0000 |
commit | 31528620a8fca9ea79947d53b796460d0928dd95 (patch) | |
tree | bf2c6818ab92edc8089efddc450f17efcbde4201 /docs/user | |
parent | 6aa18de98efe5d7965a48caf5bc3bdea8ac6bca4 (diff) | |
parent | d953df319b3057e446b05eac0dcc88a4a5bb4b60 (diff) |
Merge #3740
3740: Simplify 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