Subject: Re: bug#11873: Another important bug

From: Chong Yidong <[email-masked]>
Date: Tue, 14 Aug 2012 18:00:21 +0800

Paul Eggert <[email-masked]> writes:

> That patch also looks OK.

OK, thanks, committed.

> One other thought is to merge all the gnulib patches
> into 24.2.  This would be approximately a 5000-line
> change.  It would fix the bug in question, along with
> several other portability problems.  It would be a trivial
> patch to generate, but would take some time to review
> if people wanted to review it manually and/or cherry
> pick some of the patches (I don't want to spend that time).

That doesn't sound feasible if we want to release 24.2 promptly.