Passed
Pull Request — master (#1123)
by Konstantin
05:06 queued 02:04
created

No notable changes

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

5.63
▶   ± 0
Head
Mehmed Mustafa  
Merge 00fbc4414875437c494ef2d34960d915e59c6ffd into 421b06a796fbd9a17bf07a048758ce4ece6640f6
4 more commits
Base
Konstantin Baierer  
Merge pull request #1121 from OCR-D/fix-bashlib-log