public-html-media@w3.org from November 2023 by thread

[media-source] HTMLMediaElement Extensions missing WebIDL? (#338) Marcos Cáceres via GitHub (Tuesday, 14 November)

[media-source] Consider updating Acknowledgements section (#335) Matt Wolenetz via GitHub (Wednesday, 8 November)

[media-source] Editorial: bullet numbering in HTMLMediaElement.seekable skips over numbers and renders "5" poorly (#334) Matt Wolenetz via GitHub (Wednesday, 8 November)

Last message date: Tuesday, 14 November 2023 03:27:30 UTC