New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/issues/12067#issuecomment-498070602
Comment:
So can we close this again?