New comment by jnbr on void-packages repository

https://github.com/void-linux/void-packages/pull/15847#issuecomment-547120920

Comment:
Thank you for the fix.
There is no need to change the revision in this case, as the patch doesn't affect any packages that are built already.