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

[Paul Eggert]

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