Thanks, that looks good, please push.
- [PATCH] maint.mk: get current gnulib revision correctly. Gary V. Vaughan
- Re: [PATCH] maint.mk: get current gnulib revision cor... Paul Eggert
- Re: [PATCH] maint.mk: get current gnulib revision... Gary V. Vaughan
- Re: [PATCH] maint.mk: get current gnulib revision cor... Pádraig Brady
- Re: [PATCH] maint.mk: get current gnulib revision... Jim Meyering
- Re: [PATCH] maint.mk: get current gnulib revi... Gary V. Vaughan
- Re: [PATCH] maint.mk: get current gnulib revision... Bruce Korb
- Re: [PATCH] maint.mk: get current gnulib revi... Gary V. Vaughan
- Re: [PATCH] maint.mk: get current gnulib ... Jim Meyering
- Re: [PATCH] maint.mk: get current gn... Gary V. Vaughan
- Re: [PATCH] maint.mk: get current gnulib revi... Jim Meyering
- Re: [PATCH] maint.mk: get current gnulib ... Eric Blake