- From: Philip Jägenstedt via GitHub <sysbot+gh@w3.org>
- Date: Thu, 17 Jan 2019 22:19:24 +0000
- To: public-webrtc@w3.org
foolip has just created a new issue for https://github.com/w3c/webrtc-stats: == Mark up duplicate definition of RTCStats dictionary == https://w3c.github.io/webrtc-stats/#basic-concepts has a duplicate definition of https://w3c.github.io/webrtc-pc/#rtcstats-dictionary, clearly marked as duplicate for a human reader. However, it's still extracted into https://github.com/tidoust/reffy-reports/blob/master/w3c/idl/webrtc-stats.idl, and a machine readable annotation is needed to exclude it. @tidoust looking at https://github.com/tidoust/reffy/blob/master/src/cli/extract-webidl.js I can't now find what the class to omit IDL is, can you help? Please view or discuss this issue at https://github.com/w3c/webrtc-stats/issues/385 using your GitHub account
Received on Thursday, 17 January 2019 22:19:25 UTC