[webrtc-pc] new commits pushed by dontcallmedom

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

* Add github action to tidy the spec

close #2558
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-pc/commit/5363b11d0a384011d2dd70f3f4947f34493c9e53

* Merge pull request #2567 from w3c/tidy-on-demand

Add github action to tidy the spec
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-pc/commit/a0417b77d217f1649a3c7776917fe7fda6404844



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

Received on Thursday, 27 August 2020 16:27:57 UTC