- From: Chris Needham via GitHub <sysbot+gh@w3.org>
- Date: Mon, 19 Jun 2023 14:05:46 +0000
- To: public-web-and-tv@w3.org
chrisn has just merged chiefcll's pull request 92 for https://github.com/w3c/media-and-entertainment: == add html-launch == None See https://github.com/w3c/media-and-entertainment/pull/92 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 19 June 2023 14:05:47 UTC