Build #1233 (6/12/2020, 8:28:13 PM)

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

Started by upstream project OpenCOR_macOS build number 1233
originally caused by:

• GitHub pull request #2426 of commit 3b4fd0b00a946ceffc0e38080f1306692b91f980, no merge conflicts.

This run spent:

• 5 ms waiting;
• 6 min 59 sec build duration;
• 6 min 59 sec total from scheduled to completion.

• refs/remotes/origin/pr/2426/merge