Build #889 (16/10/2019, 5:38:18 PM)

1. General: updated our different developer Shell scripts. (details / githubweb)

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

• GitHub pull request #2192 of commit 49f03f2b2ef506948b92206d0a9b40761b39a143, no merge conflicts.

This run spent:

• 2 ms waiting;
• 8 min 14 sec build duration;
• 8 min 14 sec total from scheduled to completion.

• refs/remotes/origin/pr/2192/merge