- From: Henri Sivonen <notifications@github.com>
- Date: Mon, 21 Nov 2022 09:04:47 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 21 November 2022 17:05:00 UTC
Fixes #1080. This is an editorial change. You can view, comment on, or merge this pull request online at: https://github.com/whatwg/webidl/pull/1234 -- Commit Summary -- * Use the term scalar value from Infra -- File Changes -- M index.bs (36) -- Patch Links -- https://github.com/whatwg/webidl/pull/1234.patch https://github.com/whatwg/webidl/pull/1234.diff -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/1234 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1234@github.com>
Received on Monday, 21 November 2022 17:05:00 UTC