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

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