| commit | fed6d4e69d19e890bdf58efd8769e867a7d4d287 | [log] [tgz] |
|---|---|---|
| author | Richard Eckart de Castilho <rec@apache.org> | Wed Nov 04 08:36:07 2020 +0100 |
| committer | GitHub <noreply@github.com> | Wed Nov 04 08:36:07 2020 +0100 |
| tree | 80b260e76bd26277b21ae90792c535bab8d603e4 | |
| parent | fa2ce49ad99be20e44b23444cb551da0a5817d0e [diff] | |
| parent | e6bba434e8ad20d89a768f663d4132047554eb4c [diff] |
Merge pull request #135 from apache/bugfix/UIMA-6292-selectCovering-is-slow-v2 [UIMA-6292] selectCovering is slow