Re: [whatwg/webidl] Remove DOMTimeStamp (#1021)

• From: Domenic Denicola <notifications@github.com>
• Date: Tue, 19 Oct 2021 13:51:03 -0700
• To: whatwg/webidl <webidl@noreply.github.com>
• Cc: Subscribed <subscribed@noreply.github.com>
• Message-ID: <whatwg/webidl/pull/1021/review/783772425@github.com>

@domenic approved this pull request.

Looks like all uses have been eliminated! https://dontcallmedom.github.io/webidlpedia/names/DOMTimeStamp.html



-- 
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#pullrequestreview-783772425

Received on Tuesday, 19 October 2021 20:51:15 UTC