This forward-ports the changes made in preparation for the Crux 0.8 releases as part of #1170 (which landed in the release-crux-0.8 branch) to the master branch. I've made sure to use git cherry-pick -x to make it obvious where each commit came from.
This forward-ports the changes made in preparation for the Crux 0.8 releases as part of #1170 (which landed in the
release-crux-0.8branch) to themasterbranch. I've made sure to usegit cherry-pick -xto make it obvious where each commit came from.