Passed
Push — master ( 94e460...9835eb )
by Konstantin
02:21 queued 10s
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.89
▶   ± 0
Head
Konstantin Baierer  
Merge pull request #612 from OCR-D/txt-ext
1 more commit
Base
Konstantin Baierer  
Merge pull request #618 from stweil/master