New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/45672#issuecomment-1685224286 Comment: I was always told that separate PR's are the way to go, but you decide.