Closed jappeace closed 2 years ago
@andrevdm could you please review this?
Wow, sorry, I seem to have missed all of those notifications. Looking now
@jappeace I've added a comment for a very minor style issue. Other than that it looks like a good idea to me.
The only potential issue I could imagine is that someone is tracking the log output and that may break after this change... but I'm not convinced that is a reasonable concern. Logs can always change, so that would just have to be handled.
@andrevdm is your style comment still in a pending review? it's not showing up for me.
@jappeace I had indeed, not clicked the button
Merged, I'll update hackage a bit later
And thanks for the PR :)
Thanks, nice!
If a script throws an exception, you know exactly now which one was running.