Re: [whatwg/webidl] Export "an exception was thrown" (PR #1293)

FWIW, using Infra's "catch" works for me. FYI @domfarolino. Should we `<dfn>` that "catch"?

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1293#issuecomment-1508961934
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1293/c1508961934@github.com>

Received on Friday, 14 April 2023 17:00:12 UTC