[mediacapture-main] Pull Request: Missed a spot that should use HTMLMediaElement's potentially playing definition

jan-ivar has just submitted a new pull request for https://github.com/w3c/mediacapture-main:

== Missed a spot that should use HTMLMediaElement's potentially playing definition ==
Fixes #1024.

See https://github.com/w3c/mediacapture-main/pull/1025


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 13 December 2024 19:14:56 UTC