Build #716 (22/02/2019, 12:54:01 PM)

GitHub pull request #1999 of commit 1f7667da0aaba974c9bf4716e6f2c98e10d35392, no merge conflicts.

Started by user Alan Garny

This run spent:

• 2 min 18 sec waiting;
• 15 min build duration;
• 17 min total from scheduled to completion.