From 0d80fb71d15e5f07ee19a9578a6bdadf3eafd7a2 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 14 Mar 2024 21:51:18 +0000 Subject: [PATCH] build(deps): bump org.checkerframework from `26c6857` to `acf0fea` Bumps [org.checkerframework](https://github.com/typetools/checker-framework) from `26c6857` to `acf0fea`. - [Release notes](https://github.com/typetools/checker-framework/releases) - [Commits](https://github.com/typetools/checker-framework/compare/26c6857d73796874948085024e33196a6a025418...acf0fea643b9b3d9e86d673b64670ed11a043aa0) --- updated-dependencies: - dependency-name: org.checkerframework dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- org.checkerframework | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.checkerframework b/org.checkerframework index 26c6857d..acf0fea6 160000 --- a/org.checkerframework +++ b/org.checkerframework @@ -1 +1 @@ -Subproject commit 26c6857d73796874948085024e33196a6a025418 +Subproject commit acf0fea643b9b3d9e86d673b64670ed11a043aa0