From d88ec2f7d55960f6c8bed52b18f8df6663afbbb1 Mon Sep 17 00:00:00 2001
From: Picnic-Bot <sysops@teampicnic.com>
Date: Sun, 18 Feb 2024 02:01:36 +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 2a1db23aee9..c965351b4df 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>