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
https://github.com/w3c/me-media-timed-events/commit/508667f3b432198739b05c474114432af02a81a0

* Copy definition of media timed event to terminology section

Also improve references to the "time marches on" steps.
  by Fran├žois Daoust
https://github.com/w3c/me-media-timed-events/commit/c5b84da644074e97c62a0a2f7aee593134aa7cfc

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

Mark definition of "media timed events" as dfn
  by Chris Needham
https://github.com/w3c/me-media-timed-events/commit/f5a1428ea9256679d5f13bc92315ef70a35e66cc
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