We can also change the id to something like `w3c_process_revision_ja`, but I doubt anyone will use it, so I'm OK with removing it. -- GitHub Notification of comment by xfq Please view or discuss this issue at https://github.com/w3c/jlreq/pull/216#issuecomment-642684705 using your GitHub accountReceived on Thursday, 11 June 2020 14:15:27 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:42 UTC