- From: Luca Casonato <notifications@github.com>
- Date: Mon, 07 Feb 2022 04:43:45 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 7 February 2022 12:43:58 UTC
Closes #1097
<!--
Thank you for contributing to the Web IDL Standard! Please describe the change you are making and complete the checklist below if your change is not editorial.
-->
- [ ] At least two implementers are interested (and none opposed):
* …
* …
- [ ] [Tests](https://github.com/web-platform-tests/wpt) are written and can be reviewed and commented upon at:
* …
- [ ] [Implementation bugs](https://github.com/whatwg/meta/blob/main/MAINTAINERS.md#handling-pull-requests) are filed:
* Chrome: …
* Firefox: …
* Safari: …
* Deno: …
* Node.js: …
(See [WHATWG Working Mode: Changes](https://whatwg.org/working-mode#changes) for more details.)
You can view, comment on, or merge this pull request online at:
https://github.com/whatwg/webidl/pull/1098
-- Commit Summary --
* Allow same identifier in static and regular ops
-- File Changes --
M index.bs (2)
-- Patch Links --
https://github.com/whatwg/webidl/pull/1098.patch
https://github.com/whatwg/webidl/pull/1098.diff
--
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1098
You are receiving this because you are subscribed to this thread.
Message ID: <whatwg/webidl/pull/1098@github.com>
Received on Monday, 7 February 2022 12:43:58 UTC