* Angelo Graziosi wrote on Tue, Jul 28, 2009 at 01:20:00AM CEST: > Ralf Wildenhues ha scritto: > >* Tom Tromey wrote on Mon, Jul 27, 2009 at 06:03:54PM CEST: > > > >>I think this patch qualifies as obvious. > > > >Alright. Installed. > > Shouldn't Makefile.in be rebuilt?
D'oh. Fixed now. Thanks, Ralf
