New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/issues/21762#issuecomment-628127887

Comment:
well, we have PR #13208 already, no need to request this package.