Thanks!
I tested the patch and it fixes the issue.
I opened a GitHub ticket to track
it: https://github.com/gwtproject/gwt/issues/9427
On Monday, September 19, 2016 at 9:10:21 PM UTC+10, Paul Robinson wrote:
>
> Looks to me like this bug:
> https://gwt-review.googlesource.com/#/c/14430/
>
>
Looks to me like this bug:
https://gwt-review.googlesource.com/#/c/14430/
which was (coincidentally?) mentioned today here:
https://groups.google.com/d/msg/google-web-toolkit-contributors/33Zw3nP3q7o/eUSj5-eKEwAJ
Paul
On Mon, Sep 19, 2016 at 2:39 AM, Freddy Boucher
wrote:
> Hi,
>
> Can some