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

[me-media-timed-events] new commits pushed by chrisn

From: Chris Needham via GitHub <sysbot+gh@w3.org>
Date: Tue, 18 Dec 2018 14:41:04 +0000
To: public-web-and-tv@w3.org
Message-ID: <push-b63955af06ed4be6cab008a738345784121e6295-1545144063-sysbot+gh@w3.org>

The following commits were just pushed by chrisn to https://github.com/w3c/me-media-timed-events:

* Minor editorial corrections
  by Chris Needham
https://github.com/w3c/me-media-timed-events/commit/b63955af06ed4be6cab008a738345784121e6295
Received on Tuesday, 18 December 2018 14:41:05 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:57:41 UTC