New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/12102#issuecomment-498360884
Comment:
No, actually better not to revbump here. The kernel update rate is close to what our builders can manage anyway. I expect 5.1.7 within a week or so.