Brian Clozel 59693f2b12 Move "micrometer.observations.*" configuration properties ...

This commit moves the "micrometer.observations.*" configuration
properties to "management.observations.*" namespace, as it was
introduced in the wrong namespace initially.

The former configuration property is deprecated and will be removed in a
future version.

Fixes gh-39600

2024-02-16 15:03:18 +01:00

..

src

Move "micrometer.observations.*" configuration properties

2024-02-16 15:03:18 +01:00

build.gradle

Merge branch '3.1.x'

2023-11-10 11:25:38 +01:00