New comment by Vapourium on void-packages repository https://github.com/void-linux/void-packages/pull/32274#issuecomment-945192710 Comment: I'm not sure why, but I'm unable to reopen the PR. The branch seems to have been deleted, even though I've force-pushed the updated package to a branch with the same name.