| commit | dee24978d3f69889f443ed61fc906e5bfb70bc8c | [log] [tgz] |
|---|---|---|
| author | Richard Eckart de Castilho <rec@apache.org> | Wed Nov 04 08:33:09 2020 +0100 |
| committer | GitHub <noreply@github.com> | Wed Nov 04 08:33:09 2020 +0100 |
| tree | 20d2581d4938b6d58bed6e004e3465b7b238dcc3 | |
| parent | fcc1718e7a5d14667d1bfb5ea8104eedb3cf9549 [diff] | |
| parent | 4e59bb39570996fc67f10cdcf73f52befca9c399 [diff] |
Merge pull request #134 from apache/bugfix/UIMA-6292-selectCovering-is-slow-v3 [UIMA-6292] selectCovering is slow