Skip to content

Deprecation exception, normalize capitalization, add links#2567

Merged
pburkholder merged 1 commit intomainfrom peterb/update-deprecation-policyNov 20, 2024