W3C home > Mailing lists > Public > public-webrtc@w3.org > August 2020

[webrtc-pc] Pull Request: Upgrade WebIDL to use undefined instead of void

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Tue, 25 Aug 2020 08:40:04 +0000
To: public-webrtc@w3.org
Message-ID: <pull_request.opened-473038850-1598344802-sysbot+gh@w3.org>
dontcallmedom has just submitted a new pull request for https://github.com/w3c/webrtc-pc:

== Upgrade WebIDL to use undefined instead of void ==
cf https://github.com/heycam/webidl/pull/906

See https://github.com/w3c/webrtc-pc/pull/2565


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 25 August 2020 08:40:07 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 25 August 2020 08:40:08 UTC