New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/25534#issuecomment-706786166

Comment:
Oh wow! Ok. I will try to make a PR to fix that, then. Thanks for finding where it happens.