W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > July 2019

Re: [webrtc-pc] editorial: media api introduction (#1240)

From: Harald Alvestrand via GitHub <sysbot+gh@w3.org>
Date: Mon, 08 Jul 2019 15:01:26 +0000
To: public-webrtc-logs@w3.org
Message-ID: <issue_comment.created-509262611-1562598085-sysbot+gh@w3.org>
The PR in #1832 doesn't seem to do everything that's suggested in the discussion. @fippo are you still planning to submit a PR here?

GitHub Notification of comment by alvestrand
Please view or discuss this issue at https://github.com/w3c/webrtc-pc/issues/1240#issuecomment-509262611 using your GitHub account
Received on Monday, 8 July 2019 15:01:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:22:25 UTC