Merge pull request #222 from Laupetin/dependabot/submodules/thirdparty/catch2-85b7f3d

chore(deps): bump thirdparty/catch2 from `37c8b2d` to `85b7f3d`
This commit is contained in:
Jan authored and GitHub committed 2024-07-27 00:24:22 +02:00
commit 838ab225df
1 file changed
+1 -1