Build #1205 (2/11/2020, 12:23:14 PM)

1. Tool bar widget: have a line edit widget to emit a signal when its text has changed (#2413). (details / githubweb)
2. PMR window: the line edit for our filter value can now be seen in the corresponding context menu (#2413). (details / githubweb)

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

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

This run spent:

• 5 ms waiting;
• 10 min build duration;
• 10 min total from scheduled to completion.

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