New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/47774#issuecomment-1858369547

Comment:
ah, and you also already had a PR open, I must've overlooked that. Thanks for the hint :)