Build #977 (13/12/2019, 4:05:17 PM)

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

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

• GitHub pull request #2258 of commit ae303c4342362f46493a20ddbd4e7504622c57e2, no merge conflicts.

This run spent:

• 1 ms waiting;
• 19 min build duration;
• 19 min total from scheduled to completion.

• refs/remotes/origin/pr/2258/merge