[Top][All Lists]

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

Re: [PATCH] maint: update gnulib to latest

From: Bernhard Voelker
Subject: Re: [PATCH] maint: update gnulib to latest
Date: Thu, 19 Jul 2018 19:22:09 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.0

On 06/25/2018 06:48 PM, Pádraig Brady wrote:
> `make gnulib-sync` would definitely be worth doing.

Done in the attached.  WDYT?

Have a nice day,

Attachment: 0001-maint-provide-make-target-to-update-gnulib-to-latest.patch
Description: Text Data

reply via email to

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