Build #1207 (2/11/2020, 7:34:15 PM)

1. Some minor cleaning up. (details / githubweb)
2. Tool bar widget: moved it to its own plugin (#2413). (details / githubweb)

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

• GitHub pull request #2413 of commit 16ad20d374fe2a97306f74b80b7d08d5b7473c0a, no merge conflicts.

This run spent:

• 0.17 sec waiting;
• 7 min 21 sec build duration;
• 7 min 21 sec total from scheduled to completion.

• refs/remotes/origin/pr/2413/merge