New comment by kruceter on void-packages repository

https://github.com/void-linux/void-packages/pull/42126#issuecomment-1420284808

Comment:
Please do not close pull requests just because version has changed during that time.

Just change the version, fix the commit message, `git push -f` and change title of the pull request.