Completed
Push — master ( 87f488...40f9a6 )
by Konstantin
03:44 queued 01:18
created

No notable changes

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

5.88
▶   ± 0
Head
Konstantin Baierer  
:memo: changelog
Base
Konstantin Baierer  
Merge pull request #560 from OCR-D/add-files-pageid