New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/issues/26867#issuecomment-742630999

Comment:
Did not happen again. #27026 solved the issue.