Build #543 (20/11/2018, 5:46:35 PM)

GitHub pull request #1881 of commit efcddb163e683b006491f51928df5970e57d19cc, no merge conflicts.

Started by user Alan Garny

This run spent:

• 16 ms waiting;
• 43 min build duration;
• 43 min total from scheduled to completion.