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 accountReceived 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