14 Jul
2019
14 Jul
'19
1:18 a.m.
Dear all, please have a look at the release notes: https://jenkins.tei-c.org/job/TEIP5-dev/lastSuccessfulBuild/artifact/P5/rele... Best, Martina