Upgrade to pick up https://github.com/catchorg/Catch2/commit/dc001fa935d71b4b77f263fce405c9dbdfcbfe28.
requested review from @veprbl
assigned to @wdconinc
enabled an automatic merge when the pipeline for 282597e4 succeeds
approved this merge request
merged