Sorry, @peterstadler, but there are some white space changes in here, too.
This is a pretty simple PR, so I think the reviewer can merge it if she finds no problems. That said, I would give this a few days to see if there is any discussion on the issue on TEI-L, first.
Sorry, @peterstadler, but there are some white space changes in here, too.
This is a pretty simple PR, so I think the reviewer can merge it if she finds no problems. That said, I would give this a few days to see if there is any discussion on the issue on TEI-L, first.