New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/pull/20421#issuecomment-607148308

Comment:
no idea how to proceed in that case