Nightly build 2018-07-23

State completed
Build time Total: 52 minutes
8 minutes for macOS
17 minutes for Windows
27 minutes for Linux
Platforms   
Start Date2018-07-23 00:09:54 UTC
Build Log HEAD~60a34593dd Merge #13740: trivial: remove unneeded include
a6f00ce66 Merge #13212: Net: Fixed a race condition when disabling the network.
6deac922e Merge #13633: Drop dead code from Stacks
0d1ebf4d3 Merge #13733: Utils: Refactor ArgsManager a little
0454b56d8 trivial: remove unneeded include
05714f96e Merge #11762: Avoid locking mutexes that are already held by the same thread