From e812f922dde46dffeb0925948a2f25283d7c4782 Mon Sep 17 00:00:00 2001
From: Picnic-Bot <sysops@teampicnic.com>
Date: Sun, 3 Sep 2023 01:05:33 +0000
Subject: [PATCH] Upgrade NullAway 0.10.12 -> 0.10.13

See:
- https://github.com/uber/NullAway/blob/master/CHANGELOG.md
- https://github.com/uber/NullAway/blob/HEAD/CHANGELOG.md#Version-01013
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index f073c04cc19..6a9bfbbc338 100644
--- a/pom.xml
+++ b/pom.xml
@@ -208,7 +208,7 @@
         <version.maven>3.8.7</version.maven>
         <version.mockito>5.5.0</version.mockito>
         <version.nopen-checker>1.0.1</version.nopen-checker>
-        <version.nullaway>0.10.12</version.nullaway>
+        <version.nullaway>0.10.13</version.nullaway>
         <version.pitest-git>1.1.2</version.pitest-git>
         <version.surefire>3.1.2</version.surefire>
     </properties>