Re: [0/10] RFC: use gnulib more heavily + more configure fixes

Tom Tromey
2013-01-03T18:25:00Z

Tom> In the absence of comments I think I will go ahead and put it all in.

I am going to check this series in now.

Tom