diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-05-16 08:50:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-16 08:50:47 +0200 |
commit | 5b2c0c342ac0777b01d3a8a852b09bf4ed47a0ee (patch) | |
tree | dd9caaaf0c9b02e259719282ac03f01a25a07af7 /misc/dist/shell | |
parent | 6815bf42b38c7c3dfde419d86dbc1bf012b035b2 (diff) | |
parent | 18332a00948705a333b278855f557df7bb630fd7 (diff) |
Merge pull request #38772 from neikeq/issue-38729
websocket: Fix crash at exit when not running the editor
Diffstat (limited to 'misc/dist/shell')
0 files changed, 0 insertions, 0 deletions