Upgrade to [Micrometer Tracing 1.3.13](https://github.com/micrometer-metrics/tracing/releases/tag/v1.3.13).