chore(deps): bump thirdparty/catch2 from 37c8b2d to 85b7f3d

Bumps [thirdparty/catch2](https://github.com/catchorg/Catch2) from `37c8b2d` to `85b7f3d`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](37c8b2d2b3...85b7f3d6ab)

---
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-07-26 22:06:21 +00:00 committed by GitHub
parent 652d4719af
commit 7edbffb671
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

2
thirdparty/catch2 vendored

@ -1 +1 @@
Subproject commit 37c8b2d2b324885e499321b2c412e3ba3f7d29ec
Subproject commit 85b7f3d6abbf11cfde34e274180a5539d2ac8bfe