New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/24591#issuecomment-685082536

Comment:
Please don't open and reopen it, that just makes life harder for maintainers, because they receive an email for each action. Leave the PR open and make changes with it open.