devel/catch: update to 2.13.8
Release notes: https://github.com/catchorg/Catch2/releases/tag/v2.13.8
Description
Description
Details
Details
- Provenance
gahr Authored on Mar 1 2022, 11:09 AM - Parents
- R11:e0e4186db92b: editors/diamond: update to 1.3.7, latest upstream
- Branches
- Unknown
- Tags