[gwt-contrib] Re: Trivial fix for issue 3956 ("REGRESSION: r5292 broke Opera support for History")

[jlabanca]

LGTM

http://gwt-code-reviews.appspot.com/126812

--
http://groups.google.com/group/Google-Web-Toolkit-Contributors