New comment by jcgruenhage on void-packages repository https://github.com/void-linux/void-packages/pull/18761#issuecomment-581809269 Comment: yeah, I see. Will fix this (and the other PRs