New comment by Johnnynator on void-packages repository https://github.com/void-linux/void-packages/issues/14464#issuecomment-531590743 Comment: Yep, and you should do one ticket per issue, so a) we can properly tack them, b) others know that they are already reported. c) text is way easier to search d) less bandwidth.