View GitHub Repository core

Schedule Inspection
Subscribe
Passed
Pull Request — master (#1184)
by
unknown
04:00
created

No notable changes

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

4.1
▶   ± 0
Head
joschrew  
Merge 79c5b79a2f75044b7b4392abcc13ac3d74108cb8 into 89a54460d7e9e39ef4a18516e064de937dac6bc3
⋮ 2 more commits
Base
Konstantin Baierer  
Merge pull request #1063 from bertsky/ocrd-mets-get-pages-for-pageids