Re: [PATCH] maint: update gnulib to latest

[Pádraig Brady]

On 19/07/18 10:22, Bernhard Voelker wrote:
> On 06/25/2018 06:48 PM, Pádraig Brady wrote:
>> `make gnulib-sync` would definitely be worth doing.
> 
> Done in the attached.  WDYT?

I like it.  It works well here.

thanks!
Pádraig