[webrtc-pc] new commits pushed by alvestrand

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

* Clean up definitions

Remove unneeded definitions
Instantiate definitions that are used but were not marked up
  by Dominique Hazael-Massieux

* Merge pull request #2728 from w3c/fix-dfns

Clean up definitions
  by Harald Alvestrand

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

Received on Thursday, 30 June 2022 14:53:33 UTC