New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/28182#discussion_r578132925

Comment:
IMO this doesn't need to be split. devel packages can be a little bit bloated, it isn't a big issue.