Thanks, Patrick! I added two comments on github.
Regarding zlib, we discussed offline that we want to continue working with publicly available versions and update our infrastructure when old zlib versions become unavailable. That means our build breaks when this happens, but we see this as good because we want our build to be the guinea pig for other people's builds, who we also want to be able to build with these publicly available versions.
|