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