- From: Nicolò Ribaudo <notifications@github.com>
- Date: Thu, 01 Oct 2026 10:45:02 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Thursday, 1 October 2026 17:45:06 UTC
@nicolo-ribaudo pushed 1 commit. f1a03428a19f98ba6cadd804b5c30209c4405195 fix ordering with optional/required -- View it on GitHub: https://github.com/whatwg/webidl/pull/1624/changes/d4f4d43f6a4160cf35bb23080cd0adfa9d9a1c65..f1a03428a19f98ba6cadd804b5c30209c4405195 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1624/before/d4f4d43f6a4160cf35bb23080cd0adfa9d9a1c65/after/f>
Received on Thursday, 1 October 2026 17:45:06 UTC