Started 4 yr 4 mo ago
Took 10 min
on built-in
<a title="Various cleaning ups" href="https://github.com/opencor/opencor/pull/2253">PR #2253</a>: Various cleaning ups
No changes. | |
GitHub pull request #2253 of commit 7d879a283fce122a86d1c527d60006dd405f2be5, no merge conflicts. | |
This run spent:
|