🌱 Capitalize area prefix in release notes by default #9614
Merged
GitHub Actions / PR Type
succeeded
Oct 24, 2023 in 30s
PR Type in Title
Found 🌱 PR (infra)
Details
Final title:
Capitalize area prefix in release notes by default
Loading