New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/20311#issuecomment-602984455

Comment:
Merged via git-merge-pr