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

[mediacapture-record] Pull Request: Update WebIDL fragments to use undefined instead of void

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Fri, 27 Nov 2020 10:41:31 +0000
To: public-webrtc@w3.org
Message-ID: <pull_request.opened-528534901-1606473690-sysbot+gh@w3.org> 
dontcallmedom has just submitted a new pull request for https://github.com/w3c/mediacapture-record:

== Update WebIDL fragments to use undefined instead of void ==
also update set up for autopublication

See https://github.com/w3c/mediacapture-record/pull/209


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 27 November 2020 10:41:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 27 November 2020 10:41:33 UTC