From 0a386886f940bf3659bb63aec8d2b4d0252c9732 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Wed, 6 Dec 2023 08:00:55 +0000
Subject: [PATCH] Update dependency org.checkerframework:checker-qual to
 v3.41.0

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 836f0ee30..ae752fd6a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -106,7 +106,7 @@
 				<!-- Guava brings 2.5.2 while Pepper brings 2.9.0 -->
 				<groupId>org.checkerframework</groupId>
 				<artifactId>checker-qual</artifactId>
-				<version>3.40.0</version>
+				<version>3.41.0</version>
 			</dependency>
 			<!-- https://mvnrepository.com/artifact/com.nimbusds/nimbus-jose-jwt -->
 			<dependency>