Nightly build 2018-07-22

State completed
Build time Total: 53 minutes
8 minutes for macOS
17 minutes for Windows
28 minutes for Linux
Start Date2018-07-22 23:16:58 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