Closed xml-project closed 3 months ago
@ndw Merge, or wait for the other pending PRs to be merged? I do not want to break anything in your workflow.
I was going to write "feel free to merge it", but I'll also merge it since I'm here :-)
Nothing about merging a small PR should interfere with my (slow) progress on the specs.
Attempt to close #585