chore(deps): bump thirdparty/catch2 from b817497 to 4f3871d

Bumps [thirdparty/catch2](https://github.com/catchorg/Catch2) from `b817497` to `4f3871d`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](b817497528...4f3871d53f)

---
updated-dependencies:
- dependency-name: thirdparty/catch2
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
This commit is contained in:
dependabot[bot]
2024-02-23 22:11:14 +00:00
committed by GitHub
parent 03340cc109
commit ccf3b8b453