Prepare release 0.12#1722

aschwerdfeger-galois wants to merge 2 commits intomasterGaloisInc/crucible:masterfrom

prepare-release-crux-0.12GaloisInc/crucible:prepare-release-crux-0.12Copy head branch name to clipboard