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

From: Majid Valipour <notifications@github.com>
Date: Wed, 12 Jul 2017 14:20:54 +0000 (UTC)
To: whatwg/dom <dom@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <whatwg/dom/pull/420/push/1855007041@github.com>

@majido pushed 1 commit.

3f9f333  Fix inadvertant mistake


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/whatwg/dom/pull/420/files/f7f84d7ef3b557e57eb7ae2bde868d5819083808..3f9f333c686e450b315ab2b24baa7559fb97655f

Received on Wednesday, 12 July 2017 14:21:36 UTC