From d85897ea620be0a1d56646963d1b263877efc895 Mon Sep 17 00:00:00 2001 From: Picnic-Bot Date: Sat, 18 Feb 2023 14:38:57 +0100 Subject: [PATCH] Upgrade Checker Framework Annotations 3.30.0 -> 3.31.0 (#502) See: - https://github.com/typetools/checker-framework/releases/tag/checker-framework-3.31.0 - https://github.com/typetools/checker-framework/compare/checker-framework-3.30.0...checker-framework-3.31.0 --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 5460e27ac5..5a8a25c325 100644 --- a/pom.xml +++ b/pom.xml @@ -356,7 +356,7 @@ org.checkerframework checker-qual - 3.30.0 + 3.31.0 org.hamcrest