New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/issues/13518#issuecomment-755386079

Comment:
Closing because it was fixed long ago.