Build #1071 (11/08/2020, 11:56:01 AM)

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

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

• GitHub pull request #2374 of commit f22483b3766df0e7d2827375d163d6bdc56a5e50, no merge conflicts.

This run spent:

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

• refs/remotes/origin/pr/2374/merge