From 0c218e70cc380fbed7f0dc58b82d1c0595ab8ae8 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 18 Dec 2023 18:50:37 +0000 Subject: [PATCH] Bump external/Catch2 from `d1d7414` to `3acb8b3` (#3130) Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `d1d7414` to `3acb8b3`. - [Release notes](https://github.com/catchorg/Catch2/releases) - [Commits](https://github.com/catchorg/Catch2/compare/d1d7414eb9859092bee6329c85592d90096618c5...3acb8b30f1ce0c801de0e3880ea1f6467dd0105c) --- updated-dependencies: - dependency-name: external/Catch2 dependency-type: direct:production ... Signed-off-by: dependabot[bot] Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> --- external/Catch2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/Catch2 b/external/Catch2 index d1d7414eb..3acb8b30f 160000 --- a/external/Catch2 +++ b/external/Catch2 @@ -1 +1 @@ -Subproject commit d1d7414eb9859092bee6329c85592d90096618c5 +Subproject commit 3acb8b30f1ce0c801de0e3880ea1f6467dd0105c