New comment by jnbr on void-packages repository

https://github.com/void-linux/void-packages/pull/18772#issuecomment-581557826

Comment:
There is a problem with the infrastructure. I restarted the builds.