Build #1211 (21/08/2020, 8:55:29 PM)

1. Zinc widget: added a way to retrieve the FPS. (details / githubweb)
2. Some minor cleaning up. (details / githubweb)
3. Zinc widget: reworked the way we handle a change in the device pixel ratio. (details / githubweb)
4. Zinc widget: reworked the way we handle a change in the device pixel ratio. (details / githubweb)
5. Zinc widget: reworked the way we handle a change in the device pixel ratio. (details / githubweb)
6. Some minor cleaning up. (details / githubweb)
7. Zinc widget: fixed our reset() method. (details / githubweb)
8. opening mapping file operationnal (details / githubweb)

Started by upstream project OpenCOR_Windows build number 1211
originally caused by:

• GitHub pull request #2388 of commit c25a36d6ceafb6cc48e87260fa2e98eefe647b89, no merge conflicts.

This run spent:

• 26 ms waiting;
• 34 min build duration;
• 34 min total from scheduled to completion.

• refs/remotes/origin/pr/2388/merge