Passed
Push — master ( ef70d1...b32f77 )
by Konstantin
03:08 queued 13s
created

No notable changes

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

5.54
▶   ± 0
Head
Konstantin Baierer  
Merge pull request #1139 from OCR-D/bagger-filegrp-filter
5 more commits
Base
Konstantin Baierer  
:memo: changelog