Commit 314b5a1ee2e0a14ced48cc15591f5725c080547f Parent 745b877835fed47e06daa3295aaf86312867f6f1 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 22:47:40 -0700 Windows CI: specify cmd shell.