Bump external/Catch2 from `0631b60` to `9131736` (#2576)

Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `0631b60` to `9131736`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](0631b607ee...9131736630)

---
updated-dependencies:
- dependency-name: external/Catch2
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot] 2023-06-10 23:34:53 +00:00 коммит произвёл GitHub
Родитель 254a1470ce
Коммит d4cdcab8a4
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 1 удалений

2
external/Catch2 поставляемый

@ -1 +1 @@
Subproject commit 0631b607ee2bbc07c7c238f0b15b23ef21926960
Subproject commit 91317366304dc6b29a6ebc9670c703192e9f4f42