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