Nightly build 2019-10-03

State completed
Build time Total: 68 minutes
9 minutes for macOS
12 minutes for Windows
47 minutes for Linux
Platforms   
Start Date2019-10-03 23:00:13 UTC
Build Log HEAD~6f1f284aa7 Merge #17042: contrib: fix minor typos in makeseeds.py
c90ce0f70 Merge #17022: doc: move-only: Steps for "before major release branch-off"
471503779 Merge #17038: Don't rename main thread at process level
0b1dcd32b contrib: fix minor typos in makeseeds.py
284cd3195 Merge #17040: ci: Make apt-get more verbose, to debug travis timeouts
fa95503d6 ci: Make apt-get more verbose, to debug travis timeouts