- 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