The source project of this merge request has been removed.
community/catch2: upgrade to 2.12.2
Replace !8516 (closed) (previous MR was on master)
Ping @Leo
Edited by Justin Berthault
Replace !8516 (closed) (previous MR was on master)
Ping @Leo