New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/40162#issuecomment-1305546956 Comment: please update PRs instead of closing them