From 471a41134558ff43f75bd54fccc08befcd53b18d Mon Sep 17 00:00:00 2001 From: Jens Schauder Date: Mon, 8 Jul 2024 13:44:07 +0200 Subject: [PATCH] Upgrade to Micrometer 1.12.8. See #2314 --- parent/pom.xml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/parent/pom.xml b/parent/pom.xml index 35f2e535..8f785364 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -1,5 +1,4 @@ - - +