New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/19131#issuecomment-588198289

Comment:
I'll merge this tomorrow unless someone complains.