- 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
chrisn has just merged tidoust's pull request 34 for 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.
<!--
This comment and the below content is programatically generated.
You may add a comma-separated list of anchors you'd like a
direct link to below (e.g. #idl-serializers, #idl-sequence):
Don't remove this comment or modify anything below this line.
If you don't want a preview generated for this pull request,
just replace the whole of this comment's content by "no preview"
and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/tidoust/me-media-timed-events/pull/34.html" title="Last updated on Feb 16, 2019, 12:05 PM UTC (c5b84da)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/me-media-timed-events/34/b64a379...tidoust:c5b84da.html" title="Last updated on Feb 16, 2019, 12:05 PM UTC (c5b84da)">Diff</a>
See https://github.com/w3c/me-media-timed-events/pull/34
Received on Saturday, 16 February 2019 12:37:22 UTC