New comment by thomas-t-w on void-packages repository

https://github.com/void-linux/void-packages/pull/12102#issuecomment-498345956
Comment:
Hi, I did that on purpose because last time I requested a minor change to the kernel, the maintainer didn't bump it. I figured it would be a waste to make everyone download a new kernel for a minor change like this and also occupy the builders. Should I always bump the revision in the future even if it is a minor change like this? Thanks.