You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I talked with @jonathanrobie earlier and we decided to change Node/@xml:id into Node/@n while keeping m/@xml:id because the duplicate ids create problems for some xml parsers. Does this create problems for you, @ryderwishart, at the front-end?
This has already been changed for the pull request that contains the glosses and stuff, but if we want to keep this change, we might need to change the pipeline accordingly.
because the duplicate ids create problems for some xml parsers
For all XML parsers that conform to the xml:id specification, to be precise, since the same xml:id occurs on both (1) the Node and (2) the <m> element.
No description provided.
The text was updated successfully, but these errors were encountered: