New comment by Vaelatern on void-packages repository

https://github.com/void-linux/void-packages/pull/18756#issuecomment-581469771

Comment:
@atk you are able to re-open the PR, you just need to force push to that branch. I'm pretty sure it can be done.