New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/38547#issuecomment-1209207663

Comment:
If this happens next time, you can just drop the one commit you don't want here and put it to a new PR.