From 7e231e57d1dcf6ad63caced063f556369c0495e5 Mon Sep 17 00:00:00 2001 From: Mark Raynsford Date: Fri, 29 Mar 2024 22:36:33 +0000 Subject: [PATCH] Update primogenitor to 8.2.0. --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index d2b7813..ef05854 100644 --- a/pom.xml +++ b/pom.xml @@ -6,7 +6,7 @@ com.io7m.primogenitor com.io7m.primogenitor.full - 8.1.0 + 8.2.0 com.io7m.jptbox @@ -91,7 +91,7 @@ com.io7m.primogenitor com.io7m.primogenitor.support - 8.1.0 + 8.2.0 it.unimi.dsi