New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/18760#issuecomment-581455882

Comment:
build failed, but looks like a borked builder