New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/18823#issuecomment-583741378

Comment:
We could pin a gitlab tarball if that is easier.