Build #1173 (2/11/2020, 10:41:10 PM)

1. Tool bar widget: moved it to its own plugin (#2413). (details / githubweb)

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

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

This run spent:

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

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