New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/37188#issuecomment-1141723782

Comment:
Why did you close this? This PR would be merged if you fixed CI and adressed my review.