Re: [whatwg/webidl] Remove duplicated words in Web IDL prose (PR #1653)

Merged #1653 into main.

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

Message ID: <whatwg/webidl/pull/1653/issue_event/34231146999@github.com>

Received on Monday, 26 October 2026 06:41:16 UTC