diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-06-28 13:14:19 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-06-28 13:14:19 +0100 |
commit | 5d829841cdab630d7953defd12e024e46ecc7c4f (patch) | |
tree | f5c8bf7d4f4958ea6a489b187df0ea4f1da41464 /docs/user | |
parent | e8dc92ca734e34b25291015008d5c6dfd933fa7a (diff) | |
parent | de930237ffb5bec9489443477a5b4ff964f56b0e (diff) |
Merge #1440
1440: fixed #1384 r=matklad a=zbelial
This PR fixed #1384 .
Co-authored-by: zjy <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions