New comment by jcgruenhage on void-packages repository https://github.com/void-linux/void-packages/pull/34073#issuecomment-1153103565 Comment: No, not stale, just needs a review and a merge.