New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/40539#issuecomment-1315047448

Comment:
Next time you can just force push to that branch and edit the PR title, the branch name doesn't matter