Build #872 (14/10/2019, 2:57:00 PM)

1. Python: renamed a couple of plugins. (details / githubweb)

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

• GitHub pull request #2160 of commit 2ad119399e4a6ee6f3c2d23ec955d4ac2ca2709f, no merge conflicts.

This run spent:

• 7 ms waiting;
• 12 min build duration;
• 12 min total from scheduled to completion.

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