Closed xsong9 closed 4 years ago
Reverts coral-erm/coral#641
I'm going to close this pull request, because it's reverting the installer merge and the steering committee has agreed that we need to keep those changes and proceed with the release.
Reverts coral-erm/coral#641