W3C home > Mailing lists > Public > public-tt@w3.org > May 2016

[tt-profile-registry] Pull Request: FIX LISTED EDITORS

From: Andreas Tai via GitHub <sysbot+gh@w3.org>
Date: Wed, 11 May 2016 16:18:03 +0000
To: public-tt@w3.org
Message-ID: <pull_request.opened-69700666-1462983482-sysbot+gh@w3.org>
tairt has just submitted a new pull request for 
https://github.com/w3c/tt-profile-registry:

== FIX LISTED EDITORS ==
- Resolves issue #18.

See https://github.com/w3c/tt-profile-registry/pull/19
Received on Wednesday, 11 May 2016 16:18:05 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 5 October 2017 18:24:29 UTC