Update miniconda installer to 4.7.12; Fix hashes to avoid... (!120) · Merge requests · bob / bob.devtools · GitLab

André Anjos requested to merge update-miniconda-installer into master Oct 17, 2019

This MR addresses the following changes:

Update miniconda installer to 4.7.12
Reset installer hashes to avoid Mac re-downloads
Black-ify bootstrap source code