From 3d7998380cf5f42f4972b294a03c4a42d06fd142 Mon Sep 17 00:00:00 2001 From: Stephan Schroevers Date: Wed, 10 May 2023 22:53:18 +0200 Subject: [PATCH] Upgrade to 2.19.1 --- pom.xml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/pom.xml b/pom.xml index b40acb061f2..b5a8a41e7c6 100644 --- a/pom.xml +++ b/pom.xml @@ -201,7 +201,7 @@ 1.10.1 ${version.error-prone-orig} v${version.error-prone-orig}-picnic-1 - 2.19.0 + 2.19.1 0.1.18 1.0 11 @@ -1716,9 +1716,6 @@ -Xep:BetaApi:OFF - - -Xep:HidingField:OFF -Xep:Java7ApiChecker:OFF