devel/catch: update to 2.7.2
Release notes: https://github.com/catchorg/Catch2/releases/tag/v2.7.2
Description
Description
Details
Details
- Provenance
gahr Authored on - Parents
- rP499731: Upgrade to 11.10.
- Branches
- Unknown
- Tags
devel/catch: update to 2.7.2 Tags None Referenced Files None Subscribers None |