Subject: Re: bug#7199: problem with Oct 10 snapshot on Solaris 10 with Sun cc

From: Paul Eggert <[email-masked]>
Date: Wed, 13 Oct 2010 20:52:14 -0700

On 10/12/2010 12:58 PM, Jim Meyering wrote:
> Please push that, too.

OK, I pushed that here, into gnulib:

http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=1179fb893526296be259211c2530feb225ebefc8