New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/15660#issuecomment-544922167

Comment:
People should probably check whether a PR already exists before opening a new one that does the same thing..