New comment by cinerea0 on void-packages repository

https://github.com/void-linux/void-packages/pull/24497#issuecomment-704681087

Comment:
@CameronNemo The most recent push failed because one of the targets could not fetch the distfile; this problem did not occur on any of the other targets. What should I do?