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

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

From: Philip Jägenstedt via GitHub <sysbot+gh@w3.org>
Date: Wed, 23 Jan 2019 14:35:54 +0000
To: public-webrtc-logs@w3.org
Message-ID: <issue_comment.created-456823894-1548254153-sysbot+gh@w3.org>
Turns out that nothing needs to be done because this IDL block is in a section with `class="informative"`. After https://github.com/tidoust/reffy/pull/137 was merged, the block went away from reffy-reports:

Amazingly, nothing else was removed because of accidentally being in an informative section or anything like that. Either @tidoust has amazing intuition about what will work, or the PR was tested against the corpus of specs first :)

GitHub Notification of comment by foolip
Please view or discuss this issue at https://github.com/w3c/webrtc-stats/issues/385#issuecomment-456823894 using your GitHub account
Received on Wednesday, 23 January 2019 14:35:56 UTC

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