[webkit-reviews] review granted: [Bug 128999] [GTK] Minibrowser: Add shortcuts for reloading page and reloading page ignoring cache : [Attachment 224552] Patch

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has granted Diego Pino
<dpino at igalia.com>'s request for review:
Bug 128999: [GTK] Minibrowser: Add shortcuts for reloading page and reloading
page ignoring cache
https://bugs.webkit.org/show_bug.cgi?id=128999

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