Build Windows10 (19/02/2019, 5:28:42 PM)

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

• GitHub pull request #1997 of commit aea623ff1dd17fb9757839465cf7b75a20d736e0, no merge conflicts.

This run spent:

• 4 ms waiting;
• 13 min build duration;
• 13 min total from scheduled to completion.

• refs/remotes/origin/pr/1997/merge