New comment by devlocalhost on void-packages repository

https://github.com/void-linux/void-packages/pull/47016#issuecomment-1886813810

Comment:
I wonder why my PR wasn't already pushed...