New review comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/41399#discussion_r1068480283

Comment:
This is now not an issue because it was fixed in chroot-grep, so we can ignore issues gh-git has, but sending the PR upstream would still be nice.