Weekly build for source

See the parent directory for more information about the weekly builds.

This build finished at Mon Oct 15 08:19:19 UTC 2018.

Logs are in the log/success directory.