New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/32074#issuecomment-883742957 Comment: @ThatGeekyWeeb the PR was fine, why did you close it?