New review comment by uhlin on void-packages repository

https://github.com/void-linux/void-packages/pull/42179#discussion_r1103634732

Comment:
Can I commit the change here at GitHub or shall I do a force push? (There's a button "commit suggestion".)