New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25639#issuecomment-723503566

Comment:
Is this PR no longer valid?