fippo has just submitted a new pull request for https://github.com/w3c/webrtc-extensions: == editorial: Update header extension links == pointing to webrtc.org instead of the github repository. Also trim trailing whitespace. I also wondered if we should delete explainer.md since it is not really up to date anymore See https://github.com/w3c/webrtc-extensions/pull/125 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Wednesday, 30 November 2022 12:07:15 UTC
This archive was generated by hypermail 2.4.0 : Wednesday, 30 November 2022 12:07:16 UTC