New comment by SpidFightFR on void-packages repository

https://github.com/void-linux/void-packages/pull/44767#issuecomment-1908789033

Comment:
This PR should be closed, then ?