New comment by flexibeast on void-packages repository https://github.com/void-linux/void-packages/pull/16437#issuecomment-577692313 Comment: Ping? Is there anything else i need to do for this PR to be merged?