Description
If one supplies -T, timings are enabled but if you don't dump them before the process exits, you lose them. It would be nice if timings are dumped before exit.
Low priority.
If one supplies -T, timings are enabled but if you don't dump them before the process exits, you lose them. It would be nice if timings are dumped before exit.
Low priority.