New comment by Johnnynator on void-packages repository

https://github.com/void-linux/void-packages/pull/32265#issuecomment-890393889

Comment:
I think github doesn't allow to reopen a merged PR, so I would recommend just to make a new one (and from a different branch).