From 13152ad93800e88175da53afa5e9ae5858ba944a Mon Sep 17 00:00:00 2001
From: Johnny Lim <izeye@naver.com>
Date: Fri, 21 Jun 2024 23:08:54 +0900
Subject: [PATCH] Add Javadoc since for PrometheusConfig.prometheusProperties()

See gh-4875
---
 .../java/io/micrometer/prometheusmetrics/PrometheusConfig.java   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/implementations/micrometer-registry-prometheus/src/main/java/io/micrometer/prometheusmetrics/PrometheusConfig.java b/implementations/micrometer-registry-prometheus/src/main/java/io/micrometer/prometheusmetrics/PrometheusConfig.java
index aade7c1a7a..67b1d2f771 100644
--- a/implementations/micrometer-registry-prometheus/src/main/java/io/micrometer/prometheusmetrics/PrometheusConfig.java
+++ b/implementations/micrometer-registry-prometheus/src/main/java/io/micrometer/prometheusmetrics/PrometheusConfig.java
@@ -68,6 +68,7 @@ default Duration step() {
      * {@code io.prometheus.exporter.exemplarsOnAllMetricTypes=true}.
      * @see <a href="https://prometheus.github.io/client_java/config/config/">Prometheus
      * docs</a>
+     * @since 1.13.0
      */
     @Nullable
     default Properties prometheusProperties() {