New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/35613#issuecomment-1039360727

Comment:
You can force push to this PR instead of closing it, closing it and opening a new one just spams the maintainers.