- From: Jeremy Roman <notifications@github.com>
- Date: Tue, 19 Dec 2023 14:02:17 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Tuesday, 19 December 2023 22:02:24 UTC
@jeremyroman pushed 1 commit. ce98ff43bbec17f14a15a52ad263d02fa28b9adb in the any binding, link to DOMString in a way more consistent with adjacent links -- View it on GitHub: https://github.com/whatwg/webidl/pull/1379/files/8da0c1af67020023c7a58ed8b620d98b91183214..ce98ff43bbec17f14a15a52ad263d02fa28b9adb You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1379/push/16344468927@github.com>
Received on Tuesday, 19 December 2023 22:02:24 UTC