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