New comment by fccapria on void-packages repository

https://github.com/void-linux/void-packages/pull/39738#issuecomment-1269092473

Comment:
Okay perfect, thanks a lot!  I'll try to solve and then create another pull request.  In the meantime, do I leave this pull request active or do I close it?