New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/24580#issuecomment-728561558

Comment:
This is ready to be merged, right?