W3C home > Mailing lists > Public > public-i18n-archive@w3.org > April to June 2022

Closed: [i18n-activity] Character escaping for identifiers (#1511)

From: Fuqiao Xue via GitHub <sysbot+gh@w3.org>
Date: Fri, 06 May 2022 06:36:29 +0000
To: public-i18n-archive@w3.org
Message-ID: <issues.closed-1199648799-1651818987-sysbot+gh@w3.org>

xfq closed this issue. See https://github.com/w3c/i18n-activity/issues/1511

-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 6 May 2022 06:36:30 UTC

This message: [ Message body ]
Next message: r12a via GitHub: "[i18n-drafts] new commits pushed by r12a"
Previous message: Fuqiao Xue via GitHub: "Re: [i18n-activity] Character escaping for identifiers (#1511)"
In reply to: Fuqiao Xue via GitHub: "[i18n-activity] Character escaping for identifiers (#1511)"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:47 UTC