Nightly build 2019-01-27

State completed
Build time Total: 66 minutes
8 minutes for macOS
17 minutes for Windows
41 minutes for Linux
Platforms   
Start Date2019-01-27 00:00:13 UTC
Build Log HEAD~6b78f6c61c Merge #15258: Scripts and tools: Fix devtools/copyright_header.py to always honor exclusions
ab46fe6ec Merge #15249: Docs: Update python docs to reflect that wildcard imports are disallowed
ad5e5a105 Scripts and tools: Drop no-longer-relevant copyright holder names
2434ab5c2 Scripts and tools: Fix devtools/copyright_header.py to always honor exclusions
d14ef5721 Merge #15233: Prevent mutex lock fail even if --enable-debug
b09dab0f2 Prevent mutex lock fail even if --enable-debug