- From: François Daoust via GitHub <sysbot+gh@w3.org>
- Date: Mon, 15 Apr 2024 08:27:02 +0000
- To: public-secondscreen@w3.org
I took the liberty to re-open the pull request, which I'll now merge. I hope the IPR bot that runs on pull requests did not scare you away @troggy. We don't need you to commit to anything to fix typos in particular. We would only start pondering things if the update touched on a normative part of the specification. -- GitHub Notification of comment by tidoust Please view or discuss this issue at https://github.com/w3c/remote-playback/pull/155#issuecomment-2056152702 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 15 April 2024 08:27:03 UTC