Build #754 (13/05/2019, 12:34:20 PM)

1. Some minor cleaning up. (details / githubweb)

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

• GitHub pull request #2081 of commit 762546bec779495f9dc7694a4e8538213731e4a8, no merge conflicts.

This run spent:

• 5 ms waiting;
• 7 min 25 sec build duration;
• 7 min 25 sec total from scheduled to completion.

• refs/remotes/origin/pr/2081/merge