New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/29577#issuecomment-805433931

Comment:
@ericonr can we get this merged?