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