[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
https://github.com/w3c/webrtc-pc/commit/f9ad3a38a4c45f8014ba87106a2d323c2ba0e65f

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

Clean up definitions
  by Harald Alvestrand
https://github.com/w3c/webrtc-pc/commit/f81e45170bc97040f92d057abe95980338090681



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