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

Re: [webrtc-stats] Mark up duplicate definition of RTCStats dictionary (#385)

From: François Daoust via GitHub <sysbot+gh@w3.org>
Date: Thu, 17 Jan 2019 23:12:23 +0000
To: public-webrtc-logs@w3.org
Message-ID: <issue_comment.created-455367009-1547766742-sysbot+gh@w3.org>
@foolip FYI, I have an update ready for Reffy, which I'll merge as soon as I'm able to test it on all specs to make sure I didn't break anything: https://github.com/tidoust/reffy/pull/137

Note I followed Respec's convention that actually reacts on the `exclude` class name (which seems a better name than `extract`) and which also drops IDL definition that appear in informative sections.

-- 
GitHub Notification of comment by tidoust
Please view or discuss this issue at https://github.com/w3c/webrtc-stats/issues/385#issuecomment-455367009 using your GitHub account
Received on Thursday, 17 January 2019 23:12:25 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 9 October 2019 15:15:01 UTC