From 1a6cb56bd163710b72401c5a4f1dcdfb16611b70 Mon Sep 17 00:00:00 2001 From: Jens Schauder Date: Thu, 12 Aug 2021 10:36:57 +0200 Subject: [PATCH] After release cleanups. See #1495 --- parent/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/parent/pom.xml b/parent/pom.xml index 2ec9c5dc..0893cec5 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -134,7 +134,7 @@ 1.3.2 - 2020.0.12 + 2020.0.13-SNAPSHOT