[webkit-reviews] review granted: [Bug 20413] console.time/timeEnd is not cleared when changing page : [Attachment 22838] proposed patch

[bugzilla-daemon at webkit.org]

Geoffrey Garen <ggaren at apple.com> has granted Keishi Hattori
<casey.hattori at gmail.com>'s request for review:
Bug 20413: console.time/timeEnd is not cleared when changing page
https://bugs.webkit.org/show_bug.cgi?id=20413

Attachment 22838: proposed patch
https://bugs.webkit.org/attachment.cgi?id=22838&action=edit

------- Additional Comments from Geoffrey Garen <ggaren at apple.com>
r=me