W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > October 2019

[mediacapture-main] Pull Request: Use HTMLMediaElement's potentially playing definition.

From: Jan-Ivar Bruaroey via GitHub <sysbot+gh@w3.org>
Date: Thu, 17 Oct 2019 13:47:31 +0000
To: public-webrtc-logs@w3.org
Message-ID: <pull_request.opened-329271589-1571320049-sysbot+gh@w3.org>
jan-ivar has just submitted a new pull request for https://github.com/w3c/mediacapture-main:

== Use HTMLMediaElement's potentially playing definition. ==
Fixes https://github.com/w3c/mediacapture-main/issues/615.

See https://github.com/w3c/mediacapture-main/pull/631
Received on Thursday, 17 October 2019 13:47:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:22:29 UTC