tree 79af4426e7d57920d263d5e5bae91e0a22fe6c6a
parent c5950ce482b9499c7baf9e02fae7bbbac6fea550
author Piotr Banski <bansp@users.noreply.github.com> 1653750529 +0200
committer Piotr Banski <bansp@users.noreply.github.com> 1653752125 +0200

optimised tei:seg (total net time cut by half)

Change-Id: I4d7f7c8c844200c38366dd00f6c34dfaf5c6c877