New comment by mhmdanas on void-packages repository https://github.com/void-linux/void-packages/pull/42864#issuecomment-1475340060 Comment: It's probably better to bump the revision and to remove the ci skip tag (there's no reason to avoid running CI here I believe). Also, squash the second commit into the first.