Michael Vines cf3bbc09b6 Jump to nightly-2019-10-03 (#6233)
* Reduce what gets build for coverage to avoid OoM with nightly 2019-10-03

* Update nightly to 2019-10-03
2019-10-03 20:05:44 -06:00
..
2019-10-03 20:05:44 -06:00
2018-11-11 16:24:36 -08:00
2018-09-05 09:28:18 -07:00