New comment by jnbr on void-packages repository

https://github.com/void-linux/void-packages/pull/12098#issuecomment-498267266
Comment:
Ok. They ended up in the same build jobs so we should be fine.