New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/37036#issuecomment-1120384511

Comment:
please do not close PRs and open new ones just to update their content, that's what force push and git commit --amend is for.