[mediacapture-main] new commits pushed by jan-ivar

The following commits were just pushed by jan-ivar to https://github.com/w3c/mediacapture-main:

* Use HTMLMediaElement's potentially playing definition.
  by Jan-Ivar Bruaroey
https://github.com/w3c/mediacapture-main/commit/4b9d39689392b87e6c85f74783d8875cf725f16b

* Use HTMLMediaElement's media timeline definition.
  by Jan-Ivar Bruaroey
https://github.com/w3c/mediacapture-main/commit/c047f7c96d9cdeb5e906080bf4a4c948707e0cf8

* s/MediaStream/media element/ is potentially playing.
  by Jan-Ivar Bruaroey
https://github.com/w3c/mediacapture-main/commit/37f8e96eb1c31c0b77e238bc007b7bb50bb7d074

* Merge pull request #631 from jan-ivar/potentially

Use HTMLMediaElement's potentially playing definition.
  by Jan-Ivar Bruaroey
https://github.com/w3c/mediacapture-main/commit/9fbb10d8907d799137a9120c1e109b6407878520

Received on Tuesday, 29 October 2019 19:36:31 UTC