On 2012/06/05 01:09:12, Patrick Tucker wrote:
Is this acceptable, or should I modify the patch?
I think the change in this patch is good. What is needed is for this patch to also modify tools/api-checker/config/gwt24_25userApi.conf to allow the API change. http://gwt-code-reviews.appspot.com/1698803/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors