New comment by abenson on void-packages repository https://github.com/void-linux/void-packages/pull/31916#issuecomment-881809858 Comment: > They are two independent changes, so they should stay in separate commits. If they're unrelated changes, they should be in separate PRs.