- 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
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