New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/43600#issuecomment-1726030252

Comment:
No need to make a PR, the Void kernel maintainers know what to do.  Thanks!