tree 8a54bd6105af654812fb707aecc236c1496e4dd4
parent ba5d86399a5b06ca22bd5bcff84c89241a2e4bad
parent d8692deb58bb14c1368d0cb6a34e6eae53dba88e
author Helge <stallkamp@ids-mannheim.de> 1533040995 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1533040995 +0200

Merge "Cleanup match specification to leave no document fragments behind"