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

[mediacapture-record] new commits pushed by dontcallmedom

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Fri, 20 Mar 2020 07:26:28 +0000
To: public-webrtc-logs@w3.org
Message-ID: <push-ecc54b63ab65530f743cf9a3bf907a408dba9799-1584689187-sysbot+gh@w3.org>

The following commits were just pushed by dontcallmedom to https://github.com/w3c/mediacapture-record:

* Set default to optional dictionary

as required by WebIDL
close #180
  by Dominique Hazael-Massieux
https://github.com/w3c/mediacapture-record/commit/205fb9390de53d400e040fad37ff64537f04b011

* Merge pull request #193 from dontcallmedom/fix-optional-dict

Set default to optional dictionary
  by Dominique Hazael-Massieux
https://github.com/w3c/mediacapture-record/commit/ecc54b63ab65530f743cf9a3bf907a408dba9799
Received on Friday, 20 March 2020 07:26:30 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:50 UTC