Re: [PATCH] maint.mk: get current gnulib revision correctly.

bug-gnulib

From:	Paul Eggert
Subject:	Re: [PATCH] maint.mk: get current gnulib revision correctly.
Date:	Sat, 26 Oct 2013 17:06:53 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.0

Thanks, that looks good, please push.

Current Thread

[Next in Thread]

[PATCH] maint.mk: get current gnulib revision correctly., Gary V. Vaughan, 2013/10/26
- Re: [PATCH] maint.mk: get current gnulib revision correctly., Paul Eggert <=
  - Re: [PATCH] maint.mk: get current gnulib revision correctly., Gary V. Vaughan, 2013/10/26
- Re: [PATCH] maint.mk: get current gnulib revision correctly., Pádraig Brady, 2013/10/27
  - Re: [PATCH] maint.mk: get current gnulib revision correctly., Jim Meyering, 2013/10/28
    - Re: [PATCH] maint.mk: get current gnulib revision correctly., Gary V. Vaughan, 2013/10/28
  - Re: [PATCH] maint.mk: get current gnulib revision correctly., Bruce Korb, 2013/10/28
    - Re: [PATCH] maint.mk: get current gnulib revision correctly., Gary V. Vaughan, 2013/10/28
    - Re: [PATCH] maint.mk: get current gnulib revision correctly., Jim Meyering, 2013/10/28
    - Re: [PATCH] maint.mk: get current gnulib revision correctly., Gary V. Vaughan, 2013/10/28
    - Re: [PATCH] maint.mk: get current gnulib revision correctly., Jim Meyering, 2013/10/28
    - Re: [PATCH] maint.mk: get current gnulib revision correctly., Eric Blake, 2013/10/28