Re: [whatwg/webidl] Remove DOMTimeStamp (#1021) from Domenic Denicola on 2021-10-19 (public-webapps-github@w3.org from October 2021)

From: Domenic Denicola <notifications@github.com>
Date: Tue, 19 Oct 2021 13:52:05 -0700
To: whatwg/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/webidl/pull/1021/issue_event/5487874447@github.com>

Merged #1021 into main.

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

Received on Tuesday, 19 October 2021 20:52:17 UTC