Thanks for the patch! But do you mind reuploading it to
https://gwt-review.googlesource.com/gwt so we can review and merge it
there?
http://gwt-code-reviews.appspot.com/1832803/
--
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
---
You received this message because you are subscribed to the Google Groups "Google Web Toolkit Contributors" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
