[webrtc-ice] Pull Request: Migrate from WebIDL void to undefined

• From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
• Date: Wed, 26 Aug 2020 09:12:55 +0000
• To: public-webrtc-logs@w3.org
• Message-ID: <pull_request.opened-473767754-1598433173-sysbot+gh@w3.org>

dontcallmedom has just submitted a new pull request for https://github.com/w3c/webrtc-ice:

== Migrate from WebIDL void to undefined  ==
per https://github.com/heycam/webidl/pull/906

various other clean ups

See https://github.com/w3c/webrtc-ice/pull/38


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

Received on Wednesday, 26 August 2020 09:12:56 UTC