should we remove deprecated properties before spring boot GA?

[zeitlinger]

• the deprecated enable checks
• @WithSpan
• Propagation type

First issue to remove deprecated properties: #10450

[trask]

I'd personally support removing deprecated properties in the next monthly release (as long as there was a release already where they were deprecated). I think better to do it sooner than later given that we are doing a lot of improvements to the spring boot starter lately and so it will likely see a good number of new users in the near future.

[zeitlinger]

Some of the deprecation PRs are not merged or created

[zeitlinger]

done in #10454