Build #602 (22/12/2018, 1:25:41 PM)

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

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

• GitHub pull request #1932 of commit d3e8fb4a3dd76a3f54341e1b8c7df688b1234114, no merge conflicts.

This run spent:

• 14 ms waiting;
• 26 min build duration;
• 26 min total from scheduled to completion.

• refs/remotes/origin/pr/1932/merge