remove remnants of window.quit and deinit tophat before exiting
#505
| Job | Run time |
|---|---|
| 3m 8s | |
| 2m 17s | |
| 5m 25s |
window.quit and deinit tophat before exiting
#505
| Job | Run time |
|---|---|
| 3m 8s | |
| 2m 17s | |
| 5m 25s |