- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Wed, 02 Dec 2020 11:01:09 +0000
- To: public-webrtc-logs@w3.org
The following commits were just pushed by dontcallmedom to https://github.com/w3c/webrtc-ice: * Migrate from WebIDL void to undefined Also use new respec profile and simplify configuration by Dominique Hazael-Massieux https://github.com/w3c/webrtc-ice/commit/3aadace7cb14dda5eaa62ecdd96d207415ccf141 * Clean up respec autolinks and other markup by Dominique Hazael-Massieux https://github.com/w3c/webrtc-ice/commit/6b80d9982b478290f87670567e71989cbc92ed72 * Enable PR Preview by Dominique Hazael-Massieux https://github.com/w3c/webrtc-ice/commit/4548550c45d81776379bd2109cf5ae284349ec4f * Upgrade CI infrastructure by Dominique Hazael-Massieux https://github.com/w3c/webrtc-ice/commit/5f57315697e8befedeab255bdfc134f26f8f3491 * Merge branch 'master' into respec-upgrade by Dominique Hazael-Massieux https://github.com/w3c/webrtc-ice/commit/9e16b1e31c28fda25104c824130793c122bf1352 * Fix markup by Dominique Hazael-Massieux https://github.com/w3c/webrtc-ice/commit/d86d7546c5821c5dee8b63528d33022fe7260b6f * Merge pull request #39 from w3c/respec-upgrade Upgrade repo infrastructure by Dominique Hazael-Massieux https://github.com/w3c/webrtc-ice/commit/20439378d2ea58355cad2e20205ed2fe2475646f -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 2 December 2020 11:05:13 UTC