[webrtc-extensions] new commits pushed by dontcallmedom

The following commits were just pushed by dontcallmedom to https://github.com/w3c/webrtc-extensions:

* rename ext-respec-config.js to webrtc-extensions and update git branch

for consistency with the pattern used in the other repos.
  by Philipp Hancke
https://github.com/w3c/webrtc-extensions/commit/ca8bc3a7d559da25dcf5b0280e2575d0eaecc011

* Merge pull request #149 from fippo/fix-git-url

rename ext-respec-config.js to webrtc-extensions and update git branch
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-extensions/commit/5cf88031c10b05bd79c08ea71f2bd1011da07746



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 27 March 2023 09:41:49 UTC