tree ee800beca11098a838fde48bc77a5ecd290fe80b
parent 5c9e1c9299340134a972aeab840a8d3113f5110f
parent fac16478bd58c930aafcbadb9da417877b0a01fe
author Helge <stallkamp@ids-mannheim.de> 1533041166 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1533041166 +0200

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