New comment by abenson on void-packages repository

https://github.com/void-linux/void-packages/pull/27948#issuecomment-761109632

Comment:
Looks like CI got caught up in the DNS issues from earlier. Builds fine