New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/29062#issuecomment-866086933

Comment:
can this PR be closed? #30930 was merged