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

Marcos Cáceres via GitHub

• [media-source] HTMLMediaElement Extensions missing WebIDL? (#338) (Tuesday, 14 November)

Matt Wolenetz via GitHub

• [media-source] Consider updating Acknowledgements section (#335) (Wednesday, 8 November)
• [media-source] Editorial: bullet numbering in HTMLMediaElement.seekable skips over numbers and renders "5" poorly (#334) (Wednesday, 8 November)

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