W3C home
Mailing lists
Public
public-html-media@w3.org
public-html-media@w3.org from November 2023
by date
3 messages
:
Starting
Wednesday, 8 November 2023 00:17:29 UTC,
Ending
Tuesday, 14 November 2023 03:27:30 UTC
Sort by
:
thread
author
date
subject
Mail actions
:
mail a new topic
Help
:
how to use the archives
search the archives
Tuesday, 14 November 2023
[media-source] HTMLMediaElement Extensions missing WebIDL? (#338)
Marcos Cáceres via GitHub
Wednesday, 8 November 2023
[media-source] Consider updating Acknowledgements section (#335)
Matt Wolenetz via GitHub
[media-source] Editorial: bullet numbering in HTMLMediaElement.seekable skips over numbers and renders "5" poorly (#334)
Matt Wolenetz via GitHub
Last message date
: Tuesday, 14 November 2023 03:27:30 UTC