New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/pull/18705#issuecomment-590130586

Comment:
@sineemore please verify your assumption. I'll be happy to merge this if it's indeed obsolete