From f150de58630ac224d690eafbd789e99d2ba9cb2e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 9 Sep 2024 20:50:09 +0000 Subject: [PATCH] chore(java): bump org.checkerframework:checker in /java Bumps [org.checkerframework:checker](https://github.com/typetools/checker-framework) from 3.46.0 to 3.47.0. - [Release notes](https://github.com/typetools/checker-framework/releases) - [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/typetools/checker-framework/compare/checker-framework-3.46.0...checker-framework-3.47.0) --- updated-dependencies: - dependency-name: org.checkerframework:checker dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- java/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/pom.xml b/java/pom.xml index 021c2dc7cd..20d5f59b0d 100644 --- a/java/pom.xml +++ b/java/pom.xml @@ -319,7 +319,7 @@ org.checkerframework checker - 3.46.0 + 3.47.0