Build #1206 (2/11/2020, 12:33:25 PM)

1. 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 1206
originally caused by:

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

This run spent:

• 11 ms waiting;
• 9 min 44 sec build duration;
• 9 min 44 sec total from scheduled to completion.

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