Started 5 yr 11 mo ago
Took 15 min
on Mac10.12.3_OpenCOR
<a title="Central widget: the tab bar shifts when switching tabs (#1691)" href="https://github.com/opencor/opencor/pull/1694">PR #1694</a>: Central widget: the tab bar...
No changes. | |
GitHub pull request #1694 of commit 519230053108d89c3a4387e58087b6f7325a72fd, no merge conflicts. | |
This run spent:
|