Merge pull request #2220 from cdr/remote-install-5bc0
install.sh: Allow customizing remote shell for remote installation
A
Anmol Sethi committed
6cc1ee1b00ca8e160d6cc68e26c5fe346a48e1e1
Committed by GitHub <noreply@github.com>
on 10/23/2020, 4:07:35 PM