New comment by codesections on void-packages repository

https://github.com/void-linux/void-packages/issues/9779#issuecomment-532359762

Comment:
I would also be interested in seeing this merged.  Would it be considered bad form to merge this in without a PR from the original author?  Or is there a different way to see some forward progress on this, given that it's been 5+ months since last movement?