3 Apr
2022
3 Apr
'22
5:11 p.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).
956
Age (days ago)
956
Last active (days ago)
0 comments
1 participants
participants (1)
-
Bauman, Syd