- From: Anne van Kesteren <notifications@github.com>
- Date: Fri, 20 Mar 2020 10:59:35 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 20 March 2020 17:59:48 UTC
As a high-level comment, I suspect that before merging this we should also have a PR against HTML and perhaps some infrastructure PRs? I'm not entirely sure what will break if we make this kind of change. Are unknown extended attributes generally fine? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/heycam/webidl/pull/857#issuecomment-601836950
Received on Friday, 20 March 2020 17:59:48 UTC