[webkit-reviews] review granted: [Bug 31142] DOM tree selection disappears upon page refresh : [Attachment 44041] [PATCH] Proposed fix

[bugzilla-daemon at webkit.org]

Timothy Hatcher <timothy at hatcher.name> has granted Pavel Feldman
<pfeldman at chromium.org>'s request for review:
Bug 31142: DOM tree selection disappears upon page refresh
https://bugs.webkit.org/show_bug.cgi?id=31142

Attachment 44041: [PATCH] Proposed fix
https://bugs.webkit.org/attachment.cgi?id=44041&action=review