[charmod-norm] Pull Request: Merging changes and syncing trees for editing

• From: Addison Phillips via GitHub <sysbot+gh@w3.org>
• Date: Tue, 24 Oct 2017 21:26:27 +0000
• To: public-i18n-archive@w3.org
• Message-ID: <pull_request.opened-148517526-1508880385-sysbot+gh@w3.org>

aphillips has just submitted a new pull request for https://github.com/w3c/charmod-norm:

== Merging changes and syncing trees for editing ==
There is one substantive change in this PR.

See https://github.com/w3c/charmod-norm/pull/131

Received on Tuesday, 24 October 2017 21:26:30 UTC