Skip to content

Improve deprecation support for moved or renamed headers

Fix up of !2718 (merged).

Merge request reports