New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/20278#issuecomment-602189583

Comment:
This is a CI glitch, doesn't relate to the actual commit.