From 2c410df392c93d6cee2e66277983b3f3ce5fa6cd Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Thu, 10 Oct 2024 20:35:39 +0200 Subject: [PATCH] Update pom.xml to version 0.20.0 --- etc/core/pom.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/etc/core/pom.xml b/etc/core/pom.xml index 42d06ba..97c46d5 100644 --- a/etc/core/pom.xml +++ b/etc/core/pom.xml @@ -5,7 +5,7 @@ 4.0.0 dev.soundness hypotenuse-core - 0.19.0 + 0.20.0 Apache 2 @@ -25,12 +25,12 @@ dev.soundness contingency-core - 0.19.0 + 0.20.0 dev.soundness anticipation-opaque - 0.19.0 + 0.20.0