[webrtc-ice] Pull Request: Upgrade repo infrastructure

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

== Upgrade repo infrastructure ==
* respec upgrade
* CI upgrade
* enable PR preview

See https://github.com/w3c/webrtc-ice/pull/39


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

Received on Wednesday, 2 December 2020 10:44:34 UTC