New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/27026#issuecomment-740530082

Comment:
@sgn the problem was bot reproducible so I can only watch out for it not happening again but not actively confirm it is fixed.
I'd say merge it. Cannot be wrong to do that.