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?