New comment by jnbr on void-packages repository https://github.com/void-linux/void-packages/pull/12253#issuecomment-499878835 Comment: Thanks, bu we have already #12142 open.