New review comment by benalb on void-packages repository

https://github.com/void-linux/void-packages/pull/40995#discussion_r1045993259

Comment:
I do not see 4.7.2, but 4.7.1.