Build #890 (16/10/2019, 5:46:39 PM)

1. Some minor cleaning up. (details / githubweb)
2. Python: renamed some scripts. (details / githubweb)
3. Some minor cleaning up. (details / githubweb)
4. General: make sure that our deployed Windows scripts can be run from (details / githubweb)
5. Some minor cleaning up. (details / githubweb)
6. Python: some minor cleaning up of our various Python-related scripts. (details / githubweb)
7. Some minor cleaning up. (details / githubweb)
8. Python: renamed some scripts. (details / githubweb)
9. Python: some minor cleaning up. (details / githubweb)

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

• GitHub pull request #2160 of commit 6dfdeba94522a5f1c2db964c9fb8972c67572445, no merge conflicts.

This run spent:

• 2 ms waiting;
• 11 min build duration;
• 11 min total from scheduled to completion.

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