Re: [whatwg/webidl] Editorial: fix note about error types (PR #1644) from Kevin Gibbons on 2026-10-09 (public-webapps-github@w3.org from October 2026)

From: Kevin Gibbons <notifications@github.com>
Date: Fri, 09 Oct 2026 15:31:59 -0700
To: whatwg/webidl <webidl@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <whatwg/webidl/pull/1644/before/18d5236bf6063f57286aca6a636a71d8e3f57f20/after/c>

@bakkot pushed 1 commit.

c19cf284fba9d8c22baff13c63a39859f0c01431  fixup! list all error types

-- 
View it on GitHub:
https://github.com/whatwg/webidl/pull/1644/changes/18d5236bf6063f57286aca6a636a71d8e3f57f20..c19cf284fba9d8c22baff13c63a39859f0c01431
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1644/before/18d5236bf6063f57286aca6a636a71d8e3f57f20/after/c>

Received on Friday, 9 October 2026 22:32:03 UTC