[mediacapture-main] Pull Request: Use xref link for HTMLMediaElement.play

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

== Use xref link for HTMLMediaElement.play ==
part of #792

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


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

Received on Wednesday, 2 June 2021 15:28:26 UTC