Patch posted here (had already submitted the original before that): http://gwt-code-reviews.appspot.com/1801803
On Tue, Jul 31, 2012 at 8:24 AM, <tucker...@gmail.com> wrote: > On 2012/07/30 19:10:14, rdayal wrote: > > Since this is just a doc fix can you also fix 4575? > http://code.google.com/p/**google-web-toolkit/issues/**detail?id=4575<http://code.google.com/p/google-web-toolkit/issues/detail?id=4575> > > http://gwt-code-reviews.**appspot.com/1770803/<http://gwt-code-reviews.appspot.com/1770803/> > -- http://groups.google.com/group/Google-Web-Toolkit-Contributors