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

Thank you, @dontcallmedom!

Do people think we should revert this for now, since some of those discussions are still ongoing? Or just try to forge ahead? I'll file a Notifications API issue...

-- 
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#issuecomment-947790903

Received on Wednesday, 20 October 2021 15:38:41 UTC