New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/33519#issuecomment-1166478368

Comment:
So, I would have had to comment on this to keep it from being closed? Updating the PR isn't enough? :(