I've sent a patch to GWT back in 2010. As of today it's still not merged (as far as I know), despite being a very minor change.
I was requested to submit the same patch again via gerrit. The process for submitting patches on gerrit is so involved that I'm not going to bother. As a regular contributor to various projects, if you compare this GitHub pull requests, it seems like a pointless waste of time. Keep up the good work! -- http://groups.google.com/group/Google-Web-Toolkit-Contributors --- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
