diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-06 18:59:52 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-09-06 18:59:52 +0100 |
commit | 3bd99af197ea238043b364b995ec6d6069804635 (patch) | |
tree | b4be222288e50902769defa97c2b5d004954307e /editors/code | |
parent | e365236bfb2d24c5e8b04a1eeec5ee4ccb4a3715 (diff) | |
parent | 219287a14c4e1d9f72465c81b34bd8cc2e2b2f44 (diff) |
Merge #1781
1781: don't deadlock on shutdown r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions