Weekly build for source

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

This build finished at Fri 15 Nov 15:08:23 UTC 2019.

Logs are in the log/success directory.