From fc5f3bd4cc8b9d59da9669b50d0ca853f8de3103 Mon Sep 17 00:00:00 2001 From: Picnic-Bot Date: Mon, 14 Aug 2023 08:52:14 +0200 Subject: [PATCH] Upgrade Pitest Git plugins 1.1.0 -> 1.1.1 (#750) --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 434f140a..61049038 100644 --- a/pom.xml +++ b/pom.xml @@ -209,7 +209,7 @@ 5.4.0 1.0.1 0.10.12 - 1.1.0 + 1.1.1 3.1.2