W3C home > Mailing lists > Public > public-web-and-tv@w3.org > February 2019

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

From: Chris Needham via GitHub <sysbot+gh@w3.org>
Date: Sat, 16 Feb 2019 12:37:20 +0000
To: public-web-and-tv@w3.org
Message-ID: <push-f5a1428ea9256679d5f13bc92315ef70a35e66cc-1550320639-sysbot+gh@w3.org>

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

* Mark definition of "media timed events" as dfn

The document tried to reference the definition of "media timed events" but
that definition was not marked as being a definition. The update also adds
references to the definition from the various sections that use it.
  by Fran├žois Daoust

* Copy definition of media timed event to terminology section

Also improve references to the "time marches on" steps.
  by Fran├žois Daoust

* Merge pull request #34 from tidoust/dfn-event

Mark definition of "media timed events" as dfn
  by Chris Needham
Received on Saturday, 16 February 2019 12:37:23 UTC

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