New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/27448#issuecomment-755899139

Comment:
Did you close the PR for some specific reason?