tree 55d513e74249c35a5ad4f8989785ff5400a3d0cd
parent 49b4e36ea1e1dac1eda0da739280d53d7be336a8
parent 50e64785816a2aa09c4c2c03a8a51f53c09ace4b
author Bodmo <Bodmer@ids-mannheim.de> 1716795233 +0200
committer Bodmo <Bodmer@ids-mannheim.de> 1716795233 +0200

Merge commit 'refs/changes/15/8015/2' of ssh://korap.ids-mannheim.de:29418/KorAP/Koral into opPROX4Review

Change-Id: I35bc56ff7489c256c26fa5041c25987e3eabf0f4