Build #519 (15/11/2018, 3:01:04 PM)

1. Slight update to our downloads page (#1544). (details / githubweb)

Started by upstream project OpenCOR_macOS build number 519
originally caused by:

• GitHub pull request #1875 of commit 281cf023b462d10868434e3371f19778e8e95248, no merge conflicts.

This run spent:

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

• refs/remotes/origin/pr/1875/merge