Re: “Confirm with SB that https://github.com/TEIC/TEI/pull/2204 is ready to merge.” — agenda from yesterday’s meeting

I think I have addressed Magdalena’s (reasonable) question on the PR. Thus, unless she or someone else disagrees, yes, PR #2204 is, IMHO, ready to merge.

And I have just merged dev branch into the issue branch (sydb_issue-2185_URI_spaces).