New comment by mobinmob on void-packages repository

https://github.com/void-linux/void-packages/pull/25743#issuecomment-1656804433

Comment:
@paper42 Can this PR be re-opened?