Bump it.unimi.dsi:fastutil from 8.5.12 to 8.5.13 (#18)

GPAddons · Feb 12, 2024 · a84d875 · a84d875
1 parent 93f1dc3
commit a84d875
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -18,7 +18,7 @@
 
   <properties>
     <project.api-version>1.17</project.api-version>
-    <fastutil.version>8.5.12</fastutil.version>
+    <fastutil.version>8.5.13</fastutil.version>
   </properties>
 
   <repositories>