commit | ae3eba6e08a8ff36a63b328880d4a97f21e1108b | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon May 27 12:48:52 2019 +0000 |
committer | nicm <nicm> | Mon May 27 12:48:52 2019 +0000 |
tree | 0e2f335a10d9938a3c1b7a22cd23069dffec56c6 | |
parent | 6b332127cae97914d34c39575881fbc87205f4e0 [diff] |
Fix crash when killing the current window, reported by Jesus Rafael Sanchez in GitHub issue 1760.