Upgrade to [Micrometer 1.13.14](https://github.com/micrometer-metrics/micrometer/releases/tag/v1.13.14).