[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,
Berny
0001-maint-provide-make-target-to-update-gnulib-to-latest.patch
Description: Text Data
- Re: [PATCH] maint: update gnulib to latest,
Bernhard Voelker <=