Closed incaseoftrouble closed 3 weeks ago
Fixes the follow-up discussion in #253
@pehrsoderman can we merge this? I'm still on an old problemtools git revision because of the current unreadable logging format. Alternatively, reverting #253.
Fixes the follow-up discussion in #253