From d517f23e9c81c1d05955fd26879f9c8b58b43190 Mon Sep 17 00:00:00 2001
From: Picnic-Bot <sysops@teampicnic.com>
Date: Fri, 23 Feb 2024 02:03:21 +0000
Subject: [PATCH] Upgrade version.error-prone-orig 2.24.1 -> 2.25.0

See:
- https://github.com/google/error-prone/releases/tag/v2.25.0
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index a0572be636..bd027397f8 100644
--- a/pom.xml
+++ b/pom.xml
@@ -208,7 +208,7 @@
         <version.auto-value>1.10.4</version.auto-value>
         <version.error-prone>${version.error-prone-orig}</version.error-prone>
         <version.error-prone-fork>v${version.error-prone-orig}-picnic-1</version.error-prone-fork>
-        <version.error-prone-orig>2.24.1</version.error-prone-orig>
+        <version.error-prone-orig>2.25.0</version.error-prone-orig>
         <version.error-prone-slf4j>0.1.22</version.error-prone-slf4j>
         <version.guava-beta-checker>1.0</version.guava-beta-checker>
         <version.jdk>17</version.jdk>