Build #764 (22/03/2019, 12:05:34 PM)

GitHub pull request #2039 of commit 7da2eff201081142d312cc0e69daa744c666945d, no merge conflicts.

Started by user Alan Garny

This run spent:

• 10 sec waiting;
• 3 min 34 sec build duration;
• 3 min 45 sec total from scheduled to completion.

Aborted by user Alan Garny