New comment by grafov on void-packages repository

https://github.com/void-linux/void-packages/pull/13124#issuecomment-512881157
Comment:
I have closed this PR because I merged unrelated packages into master. I'll reopen it from another branch.