Started 5 yr 9 mo ago
Took 3 min 59 sec
on built-in
<a title="Editor widget: make sure that people know whether we can find/replace" href="https://github.com/opencor/opencor/pull/1735">PR #1735</a>: Editor widget: make sure th...
No changes. | |
GitHub pull request #1735 of commit e994a3587a419e3492f7cf44c423ddd06ca667ba, no merge conflicts. | |
This run spent:
|