New comment by toluschr on void-packages repository https://github.com/void-linux/void-packages/pull/14268#issuecomment-539129017 Comment: I'm going to close the pull-request, because it doesn't get merged.