[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] maint: update gnulib to latest

From: Pádraig Brady
Subject: Re: [PATCH] maint: update gnulib to latest
Date: Sat, 21 Jul 2018 13:36:08 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]