Closed fxcoudert closed 3 years ago
Is there a chance to get this backported to the official Catch1 version?
@joto I have no idea, it looks like they haven't had a commit in more than a year on that branch
@fxcoudert Can you try? I really don't like adding patches likes this to software I don't own, because it will always come back to bite us later. (We really should switch to Catch2, but there is still an unresolved problem with it.)
Now that this is merged upstream I merge it here. Thanks @fxcoudert !
Fixes #320