New comment by jhe2 on void-packages repository

https://github.com/void-linux/void-packages/pull/46476#issuecomment-1831387527

Comment:
Is there anything that needs to be done/that I can do to get this merged? I don't think there is anything special or complicated with this PR, just a minor version update.