Build #885 (16/10/2019, 10:43:36 AM)

1. Python: made our various distribution Shell scripts executable. (details / githubweb)

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

• GitHub pull request #2160 of commit 56bcacee8eae75cb46d24cd95f84fc5816e8f43f, no merge conflicts.

This run spent:

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

• refs/remotes/origin/pr/2160/merge