- From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
- Date: Tue, 17 Oct 2023 21:44:37 +0000
- To: public-html-media@w3.org
marcoscaceres has just created a new issue for https://github.com/w3c/media-source: == Extensions to HTML == I think the extensions to HTML should really be moved to the HTML spec. This includes: * HTMLMediaElement extensions * audioTrack extensions * texttTrack extensions Please view or discuss this issue at https://github.com/w3c/media-source/issues/324 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 17 October 2023 21:44:39 UTC