New comment by bsduck on void-packages repository https://github.com/void-linux/void-packages/pull/21513#issuecomment-623026707 Comment: Sorry @sgn , I'm not used to github mechanics and could not find a way to rename the commit.