W3C home > Mailing lists > Public > public-web-and-tv@w3.org > October 2018

[me-media-timed-events] Merged Pull Request: Editorial suggestions

From: Chris Needham via GitHub <sysbot+gh@w3.org>
Date: Fri, 05 Oct 2018 15:09:28 +0000
To: public-web-and-tv@w3.org
Message-ID: <pull_request.closed-220543455-1538752167-sysbot+gh@w3.org>
chrisn has just merged gmandyam's pull request 15 for https://github.com/w3c/me-media-timed-events:

== Editorial suggestions ==
>From Charles Lo

See https://github.com/w3c/me-media-timed-events/pull/15
Received on Friday, 5 October 2018 15:09:29 UTC

This archive was generated by hypermail 2.3.1 : Friday, 5 October 2018 15:09:30 UTC