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 /editors/code | |
| 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 'editors/code')
0 files changed, 0 insertions, 0 deletions