New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25193#discussion_r497961682

Comment:
This change isn't necessary, and, if it were, shouldn't be in this PR / in this commit. Otherwise, good to merge.