3 Apr
2022
3 Apr
'22
8:11 a.m.
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 PRhttps://github.com/TEIC/TEI/pull/2204#pullrequestreview-929550387. 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).