From f7c71212d0b3db777164d8198d9a4abffca72188 Mon Sep 17 00:00:00 2001 From: Mark Raynsford Date: Fri, 29 Mar 2024 22:36:32 +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 7b20c1b..c9f446a 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.jinterp @@ -87,7 +87,7 @@ com.io7m.primogenitor com.io7m.primogenitor.support - 8.1.0 + 8.2.0 junit