- From: Philipp Hancke via GitHub <sysbot+gh@w3.org>
- Date: Wed, 30 Nov 2022 12:07:14 +0000
- To: public-webrtc@w3.org
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-config
Received on Wednesday, 30 November 2022 12:07:15 UTC