New comment by abenson on void-packages repository https://github.com/void-linux/void-packages/pull/38786#issuecomment-1221075452 Comment: Please don't open and close PRs, it makes it harder to track. Just edit the existing commit and force push to the branch.