- From: Mark Foltz (Google) via GitHub <sysbot+gh@w3.org>
- Date: Thu, 29 Sep 2022 00:40:46 +0000
- To: public-secondscreen@w3.org
mfoltzgoogle has just submitted a new pull request for https://github.com/w3c/remote-playback: == Fix ReSpec definitions of RemotePlayback interface and other issues. == Partially addresses Issue #137: Export terms The Remote Playback spec contained some definitions that duplicate those in WebIDL terms. This PR just keeps the automatically generated WebIDL definitions and converts usages elsewhere to refer to those using the BikeShed syntax. It also: - Converts the use of `void` to `undefined` which was flagged by ReSpec - Adds a `group` tag to the ReSpec metadata - Stops linking `user agent` because we all know what that means See https://github.com/w3c/remote-playback/pull/151 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 29 September 2022 00:40:48 UTC