W3C home > Mailing lists > Public > public-webrtc@w3.org > January 2016

[webrtc-pc] Merged Pull Request: Use updated reference to WebIDL-1

From: Harald Alvestrand via GitHub <sysbot+gh@w3.org>
Date: Thu, 07 Jan 2016 15:51:36 +0000
To: public-webrtc@w3.org
Message-ID: <pull_request.closed-55125170-1452181895-sysbot+gh@w3.org>
dontcallmedom has just merged pull request 448 for 
https://github.com/w3c/webrtc-pc:

== Use updated reference to WebIDL-1 ==
close #427

See https://github.com/w3c/webrtc-pc/pull/448
Received on Thursday, 7 January 2016 15:51:38 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:18:11 UTC