From c2e837819ec6620e04d2468e06e92b4f99ba2c1f Mon Sep 17 00:00:00 2001 From: Picnic-Bot Date: Sun, 6 Aug 2023 11:15:07 +0200 Subject: [PATCH] Upgrade Pitest Git plugins 1.0.12 -> 1.1.0 (#742) --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 04dadf0c93..7c5012a04f 100644 --- a/pom.xml +++ b/pom.xml @@ -209,7 +209,7 @@ 5.4.0 1.0.1 0.10.12 - 1.0.12 + 1.1.0 3.1.2