message: install rust with new https curl
diff: @@ -240,7 +240,7 @@ jobs:
  - run:
  name: Install Rust
  command: |
  - curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly-2019-04-11
  + curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain nightly
  export PATH="$HOME/.cargo/bin:$PATH"
  cargo --version
  # Use rust nightly (for singlepass, for now)
  