🐛 Alphabetically sorting release tool output #9055
Merged
GitHub Actions / PR Type
succeeded
Jul 22, 2023 in 11h 57m 50s
PR Type in Title
Found 🐛 PR (bugfix)
Details
Final title:
Alphabetically sorting release tool output
Loading