Build #8763 (Oct 19, 2018 4:59:23 PM)

GitHub pull request #3051 of commit 8f25479e0e5387fdfc367f832f3d578e014a2e99 automatically merged.

This run spent:

• 6.8 sec waiting in the queue;
• 1 hr 25 min building on an executor;
• 1 hr 25 min total from scheduled to completion.

• origin/pr/3051/merge