OCR-D / core

Passed

by Konstantin

created 2023-10-19 16:43 UTC

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

5.62

▶ ± 0

Head	Konstantin Baierer 2023-10-19 18:43 GMT+0200 :memo: changelog
Base	Konstantin Baierer 2023-10-19 16:42 UTC Merge pull request #1127 from OCR-D/fix-bashlib-log3