From ed746e1fbe1ef1e2a2d1278ada8c0271d31209a3 Mon Sep 17 00:00:00 2001 From: Georgios Andrianakis Date: Mon, 4 Dec 2023 10:00:56 +0200 Subject: [PATCH] Fix javadoc of VertxHttpServerMetrics --- .../runtime/binder/vertx/VertxHttpServerMetrics.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extensions/micrometer/runtime/src/main/java/io/quarkus/micrometer/runtime/binder/vertx/VertxHttpServerMetrics.java b/extensions/micrometer/runtime/src/main/java/io/quarkus/micrometer/runtime/binder/vertx/VertxHttpServerMetrics.java index 4fbb473487541..6f22060edc250 100644 --- a/extensions/micrometer/runtime/src/main/java/io/quarkus/micrometer/runtime/binder/vertx/VertxHttpServerMetrics.java +++ b/extensions/micrometer/runtime/src/main/java/io/quarkus/micrometer/runtime/binder/vertx/VertxHttpServerMetrics.java @@ -28,9 +28,9 @@ /** * HttpServerMetrics * */ public class VertxHttpServerMetrics extends VertxTcpServerMetrics