W3C home > Mailing lists > Public > public-webrtc@w3.org > November 2022

[webrtc-extensions] Pull Request: editorial: Update header extension links

From: Philipp Hancke via GitHub <sysbot+gh@w3.org>
Date: Wed, 30 Nov 2022 12:07:14 +0000
To: public-webrtc@w3.org
Message-ID: <pull_request.opened-1140262078-1669810031-sysbot+gh@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

This archive was generated by hypermail 2.4.0 : Wednesday, 30 November 2022 12:07:16 UTC