Build Windows10 (1/07/2018, 4:15:57 AM)

Started by upstream project OpenCOR_Windows build number 401
originally caused by:

• GitHub pull request #1715 of commit d912e48055d19f5984169e37af4c966264a037e6, no merge conflicts.

This run spent:

• 10 ms waiting;
• 25 min build duration;
• 25 min total from scheduled to completion.

• refs/remotes/origin/pr/1715/merge