From ffe5df44e39e1d21cc98f8958bfa4d710fc6b897 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 25 May 2023 13:59:02 +0000 Subject: [PATCH] Bump external/gt4py from `36c487a` to `bad12ba` Bumps [external/gt4py](https://github.com/gridtools/gt4py) from `36c487a` to `bad12ba`. - [Release notes](https://github.com/gridtools/gt4py/releases) - [Commits](https://github.com/gridtools/gt4py/compare/36c487a97ab3163f33d79913dc5b8d76a90fb32f...bad12baa5e0c1c90c5527732d3fe2df563f13877) --- updated-dependencies: - dependency-name: external/gt4py dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- external/gt4py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/gt4py b/external/gt4py index 36c487a97..bad12baa5 160000 --- a/external/gt4py +++ b/external/gt4py @@ -1 +1 @@ -Subproject commit 36c487a97ab3163f33d79913dc5b8d76a90fb32f +Subproject commit bad12baa5e0c1c90c5527732d3fe2df563f13877