[webrtc-extensions] Pull Request: A couple of minor Respec fixes

dontcallmedom has just submitted a new pull request for https://github.com/w3c/webrtc-extensions:

== A couple of minor Respec fixes ==


See https://github.com/w3c/webrtc-extensions/pull/56


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

Received on Tuesday, 24 November 2020 10:47:29 UTC