[debbugs-tracker] bug#19010: closed (FYI: updating gnulib and bootstrap)

[GNU bug Tracking System]

Your message dated Mon, 10 Nov 2014 08:49:07 -0800
with message-id <address@hidden>
and subject line Re: bug#19010: FYI: updating gnulib and bootstrap
has caused the debbugs.gnu.org bug report #19010,
regarding FYI: updating gnulib and bootstrap
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
19010: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19010
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: FYI: updating gnulib and bootstrap Date: Mon, 10 Nov 2014 07:59:25 -0800

There have been a few months worth of changes, so
I'm updating to the latest with these patches:

0001-gnulib-bootstrap-update-to-latest.patch
Description: Binary data

0002-maint-avoid-false-positive-match-in-check-for-double.patch
Description: Binary data

--- End Message ---

--- Begin Message --- Subject: Re: bug#19010: FYI: updating gnulib and bootstrap Date: Mon, 10 Nov 2014 08:49:07 -0800

On Mon, Nov 10, 2014 at 7:59 AM, Jim Meyering <address@hidden> wrote:
> There have been a few months worth of changes, so
> I'm updating to the latest with these patches:

FYI, here's another "maint" patch I've just pushed:

0001-maint-enable-more-syntax-checks.patch
Description: Binary data

--- End Message ---