Build #808 (2/09/2019, 2:08:41 PM)

1. Slight updates to our downloads pages (#2149). (details / githubweb)

Started by upstream project OpenCOR_Linux build number 808
originally caused by:

• GitHub pull request #2150 of commit c158c9de75390b79ac34f05a298346ab9d3ce15a, no merge conflicts.

This run spent:

• 0.84 sec waiting;
• 7 min 29 sec build duration;
• 7 min 29 sec total from scheduled to completion.

• refs/remotes/origin/pr/2150/merge