Passed
Pull Request — master (#1121)
by
unknown
05:13 queued 02:38
created

Changes

5.63
▶   ± 0
Head
Konstantin Baierer  
Merge pull request #1121 from OCR-D/fix-bashlib-log
5 more commits
Base
Konstantin Baierer  
:package: v2.57.2