Merge branch '1.12.x'

micrometer-metrics · Feb 6, 2024 · 55a202d · 55a202d
2 parents 4857d32 + ecaa259
commit 55a202d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/modules/ROOT/pages/observation.adoc b/docs/modules/ROOT/pages/observation.adoc
@@ -3,4 +3,6 @@
 
 Micrometer Observation is part of the https://github.com/micrometer-metrics/micrometer[Micrometer] project and contains the Observation API. The main idea behind it is that you
 
-> Instrument code once, and get multiple benefits out of it.
+****
+_"Instrument code once, and get multiple benefits out of it."_
+****