New review comment by abenson on void-packages repository https://github.com/void-linux/void-packages/pull/34039#discussion_r751517030 Comment: No, the commit should still be in this PR, just needs to be a separate commit.