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

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