- From: Harald Alvestrand via GitHub <sysbot+gh@w3.org>
- Date: Thu, 30 Jun 2022 14:53:31 +0000
- To: public-webrtc-logs@w3.org
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
Received on Thursday, 30 June 2022 14:53:33 UTC