From 08c49b9a58ea84869c3c51e08bc720eb057d54de Mon Sep 17 00:00:00 2001 From: Picnic-Bot Date: Wed, 5 Jul 2023 13:42:54 +0200 Subject: [PATCH] Upgrade Pitest Git plugins 1.0.11 -> 1.0.12 (#710) --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 3f8aad2b..90e7bc76 100644 --- a/pom.xml +++ b/pom.xml @@ -209,7 +209,7 @@ 5.4.0 1.0.1 0.10.11 - 1.0.11 + 1.0.12 3.1.2