From 5e9532d681446944bf8bf6d28f5c7f50683506c7 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 24 Sep 2024 05:50:32 +0000 Subject: [PATCH] Bump deps/kami from `de880ce` to `3ab0943` Bumps [deps/kami](https://github.com/mit-plv/kami) from `de880ce` to `3ab0943`. - [Release notes](https://github.com/mit-plv/kami/releases) - [Commits](https://github.com/mit-plv/kami/compare/de880ce21dc927b050e33e803c903238978f8021...3ab094327db916f9db7569c8a378113c5d0da748) --- updated-dependencies: - dependency-name: deps/kami dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- deps/kami | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kami b/deps/kami index de880ce21..3ab094327 160000 --- a/deps/kami +++ b/deps/kami @@ -1 +1 @@ -Subproject commit de880ce21dc927b050e33e803c903238978f8021 +Subproject commit 3ab094327db916f9db7569c8a378113c5d0da748