OCR-D / core

Passed

by Konstantin

created 2023-10-19 12:17 UTC

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

5.63

▶ ± 0

Head	Konstantin Baierer 2023-10-19 14:17 GMT+0200 :memo: changelog
Base	Konstantin Baierer 2023-10-19 12:15 UTC Merge pull request #1121 from OCR-D/fix-bashlib-log