Passed
Push — master ( 60dcd7...841d53 )
by Konstantin
03:35 queued 17s
created

No notable changes

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

4.13
▶   ± 0
Head
Konstantin Baierer  
Merge pull request #1181 from OCR-D/downgrade-log-msg-debug
1 more commit
Base
Konstantin Baierer  
ocrd-tool.json symlink was incorrect