<a title="QScintilla: upgrade to version 2.11.2 (#2131)" href="https://github.com/opencor/opencor/pull/2137">PR #2137</a>: QScintilla: upgrade to vers...
No changes. | |
GitHub pull request #2137 of commit 3d94e5501cac476955803cf6d3a8910496ffe774, no merge conflicts. | |
This run spent:
|