- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Fri, 01 Sep 2017 08:13:04 +0000
- To: public-webrtc-logs@w3.org
FYI, I have a [pending ReSpec pull request](https://github.com/w3c/respec/pull/1376) that would allow us to fix this seamlessly The [discussion in the PR](https://github.com/w3c/respec/pull/1376#issuecomment-326289015) also suggests a way to fix this locally (at least for WebIDL), so if for some reason the PR doesn't land, I can provide a local patch. -- GitHub Notification of comment by dontcallmedom Please view or discuss this issue at https://github.com/w3c/webrtc-pc/issues/1266#issuecomment-326518997 using your GitHub account
Received on Friday, 1 September 2017 08:13:05 UTC