New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/38488#issuecomment-1278003758

Comment:
yeah well not really, my PR is still open. Something similar has been merged though.