Re: [whatwg/webidl] Allow same identifier in static and regular ops (PR #1098) from Luca Casonato on 2022-02-07 (public-webapps-github@w3.org from February 2022)

From: Luca Casonato <notifications@github.com>
Date: Mon, 07 Feb 2022 05:30:15 -0800
To: whatwg/webidl <webidl@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <whatwg/webidl/pull/1098/push/9030463048@github.com>

@lucacasonato pushed 1 commit.

2886170092ef7cbdf8a8626b06e08a7b78785cf7  make it a note


-- 
View it on GitHub:
https://github.com/whatwg/webidl/pull/1098/files/fe69a77991370f75af1249dc94e578db0c2adcb4..2886170092ef7cbdf8a8626b06e08a7b78785cf7
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1098/push/9030463048@github.com>

Received on Monday, 7 February 2022 13:30:27 UTC