[webrtc-pc] new commits pushed by dontcallmedom

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

* Ensure WebIDL in diff is excluded from extraction
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-pc/commit/f35763121b4150b936b69a195da0b072d245ad96



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

Received on Wednesday, 1 March 2023 15:33:40 UTC