From e5e5b099bf3b8d6349d6daffce1d3d56f66e4e58 Mon Sep 17 00:00:00 2001 From: Christoph Zengler Date: Wed, 27 Jul 2022 11:31:25 +0200 Subject: [PATCH] Final 2.3.1 release --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index c53817c2..1fc6322e 100644 --- a/pom.xml +++ b/pom.xml @@ -26,7 +26,7 @@ 4.0.0 org.logicng logicng - 2.3.0 + 2.3.1 bundle LogicNG