Skip to content

Merge pull request #20 from jjokisch/patch-12 #20

Merge pull request #20 from jjokisch/patch-12

Merge pull request #20 from jjokisch/patch-12 #20

Validate against TEI_all

succeeded Nov 1, 2024 in 58s