- From: himorin / Atsushi Shimono via GitHub <sysbot+gh@w3.org>
- Date: Sun, 08 Dec 2019 16:02:40 +0000
- To: public-i18n-archive@w3.org
In my understanding, these ids were assigned by old document generation tool based on xml/sgml used during 1st ed to 2nd ed period, and not fully used (just kept as is) for now. So, I'd propose just not to assign these ids to new element(s). -- GitHub Notification of comment by himorin Please view or discuss this issue at https://github.com/w3c/jlreq/issues/154#issuecomment-562963541 using your GitHub account
Received on Sunday, 8 December 2019 16:02:41 UTC