[webkit-reviews] review granted: [Bug 117638] [GTK] Let F5 refresh the page in MiniBrowser : [Attachment 205905] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has granted Morten Stenshorne
<mstensho at opera.com>'s request for review:
Bug 117638: [GTK] Let F5 refresh the page in MiniBrowser
https://bugs.webkit.org/show_bug.cgi?id=117638

Attachment 205905: Patch
https://bugs.webkit.org/attachment.cgi?id=205905&action=review

------- Additional Comments from Carlos Garcia Campos <cgarcia at igalia.com>
LGTM