- From: Domenic Denicola <notifications@github.com>
- Date: Mon, 14 Jul 2025 18:11:50 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 15 July 2025 01:11:57 UTC
@domenic approved this pull request. Looks good with nit, although I presume we shouldn't merge this until we're sure they're going to be used. > @@ -6802,7 +6802,7 @@ grammar symbol matches nearly any sequence of tokens, however the defined in this document only accept a more restricted syntax. Any extended attribute encountered in an [=IDL fragment=] is -matched against the following five grammar symbols to determine +matched against the following eight grammar symbols to determine ```suggestion matched against the following grammar symbols to determine ``` -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/1503#pullrequestreview-3018213777 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1503/review/3018213777@github.com>
Received on Tuesday, 15 July 2025 01:11:57 UTC