New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/13112#issuecomment-512819204
Comment:
Since all build failures have been fixed, should we just ask the maintainers to publish a v0.10.1 and package that instead of marking the builds for v0.10.0 as broken or patching those here?
We could also run the CI on the most recent commit to make sure the current state builds fine on all targets.