Re: [whatwg/dom] Update Event.timeStamp type to DOMHighResTimeStamp. (#420) from Majid Valipour on 2017-07-10 (public-webapps-github@w3.org from July 2017)

From: Majid Valipour <notifications@github.com>
Date: Mon, 10 Jul 2017 08:35:53 -0700
To: whatwg/dom <dom@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <whatwg/dom/pull/420/push/1850104508@github.com>

@majido pushed 1 commit.

198fe36  Address annevk@ feedback


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/whatwg/dom/pull/420/files/4b47704bf2a1929987622d0512c7195c671b93f8..198fe36c15c76072669c61b018b83ba4ba7c1b5a

Received on Monday, 10 July 2017 15:36:25 UTC