New comment by daunknownfox2010 on void-packages repository https://github.com/void-linux/void-packages/pull/13745#issuecomment-529075642 Comment: There was another pull request that dealt with this already. This PR isn't needed anymore, so I'm closing it.