Closed bertsky closed 1 month ago
fixes https://github.com/OCR-D/core/commit/4d769c1f0565fce3f710f9b6b3447037aefe9103
fixes https://github.com/OCR-D/core/commit/4d769c1f0565fce3f710f9b6b3447037aefe9103