PR #24037 infra: remove double heading in release notes

infra: remove double heading in release notes #24037

efriis merged 1 commit into master from erick/infra-remove-double-heading-in-release-notes

infra: remove double heading in release notes

9a030eed

dosubot added size:XS

efriis enabled auto-merge (squash) 1 year ago

efriis merged 34a02efc into master 1 year ago

efriis deleted the erick/infra-remove-double-heading-in-release-notes branch 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone