diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-07 10:56:50 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-07 10:56:50 +0000 |
commit | 35fc983dd9e904ad4961b9c10be3397bad33da0c (patch) | |
tree | f46baf6b44f24cb80eac113ca2f1e1737cd5e085 /editors/code/src/utils/terminateProcess.sh | |
parent | 431836f4a01dda39d10f6275915f9c8e99a28028 (diff) | |
parent | de08d30b80f80ee0eaecf4dddb72e6fb829a46b6 (diff) |
Merge #2490
2490: Get rid of unwraps in add_new r=matklad a=flodiebold
Probably fixes #2464.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/code/src/utils/terminateProcess.sh')
0 files changed, 0 insertions, 0 deletions