From 48bd311eaf0d401bcab5f8bbeb387baa0ad19de7 Mon Sep 17 00:00:00 2001 From: Jens Schauder Date: Fri, 12 Jul 2024 09:25:31 +0200 Subject: [PATCH] Upgrade to Micrometer 1.13.2. See #2321 --- parent/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/parent/pom.xml b/parent/pom.xml index 785f5d60..19bcaa8b 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -118,7 +118,7 @@ 1.9.24 1.8.1 1.4.13 - 1.13.1 + 1.13.2 1.3.1 5.11.0 1.13.11