Build #833 (27/09/2019, 7:32:47 PM)

1. Some minor cleaning up. (details / githubweb)
2. Qt 5.12.5: make sure that we we can build a debug version of OpenCOR on (details / githubweb)
3. Some minor cleaning up. (details / githubweb)
4. Some minor cleaning up. (details / githubweb)

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

• GitHub pull request #2160 of commit 74993e6f08e54c2ca91e2666055a127b7d696da4, no merge conflicts.

This run spent:

• 2 ms waiting;
• 20 min build duration;
• 20 min total from scheduled to completion.

• refs/remotes/origin/pr/2160/merge