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:
https://github.com/tidoust/reffy-reports/commit/85b22abe3b0f4c02973a7b37ff6980c82bb182fb#diff-fbaa84965dfc6b232dec19ef1ccb7344

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.3.1 : Tuesday, 4 June 2019 15:32:54 UTC