New comment by Chocimier on void-packages repository

https://github.com/void-linux/void-packages/pull/14770#issuecomment-539684659

Comment:
Please do not close PR, force push instead.