[webrtc-pc] new commits pushed by dontcallmedom

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

* Disable WebIDL validation

blocked by https://github.com/w3c/spec-prod/pull/155
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-pc/commit/049edf424fe4383d0488c2314f83452654fb6178



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

Received on Wednesday, 1 March 2023 15:49:31 UTC