New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/issues/12412#issuecomment-502406680
Comment:
Since we cannot do much, if anything, on our side of the game, I'll just close this.