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

[me-media-timed-events] Merged Pull Request: Mark definition of "media timed events" as dfn

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: <pull_request.closed-253633017-1550320638-sysbot+gh@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

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