Re: [w3c/clipboard-apis] Change lastModified to DOMTimeStamp (#138)

(Or changing lastModified to DOMTimeStamp seems like a simple/positive change. Haven't looked at the linked MDN commit, which does a bit more than just this. Thanks for helping improve docs! :) )

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/clipboard-apis/issues/138#issuecomment-791045063

Received on Friday, 5 March 2021 00:12:21 UTC