Thanks. Submit @r5563; as usual, shout if there are other problems. This should have accelerated the dist-dev case (by not needing tools), but is really a bugfix patch.
On Tue, Jun 16, 2009 at 10:27 AM, BobV <[email protected]> wrote: > On Tue, Jun 16, 2009 at 12:46 AM, Freeland Abbott<[email protected]> > wrote: > > Ping. Bob, I think you had special interest in this one. ;-) > > ant clear dist-dev && cd user && ant test > > does the right thing. > > LGTM. > > -- > Bob Vawter > Google Web Toolkit Team > --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
