New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25951#issuecomment-719951021

Comment:
I wasn't able to merge yesterday, but it should be good to go, even without CI. Thanks.