- From: Jeremy Roman <notifications@github.com>
- Date: Tue, 19 Dec 2023 13:54:13 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Tuesday, 19 December 2023 21:54:18 UTC
@jeremyroman pushed 1 commit. 8da0c1af67020023c7a58ed8b620d98b91183214 fix one incorrect link that I stumbled across -- View it on GitHub: https://github.com/whatwg/webidl/pull/1379/files/0696d09de0712296e9cf926004b99c45f9353019..8da0c1af67020023c7a58ed8b620d98b91183214 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1379/push/16344397925@github.com>
Received on Tuesday, 19 December 2023 21:54:18 UTC