OCR-D / core

Passed

by Konstantin

created 2020-06-08 10:17 UTC

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

5.93

▶ ± 0

Head	Konstantin Baierer 2020-06-08 12:16 GMT+0200 :package: v2.8.2
Base	Konstantin Baierer 2020-06-08 10:15 UTC Merge pull request #502 from OCR-D/bash-version-check