|
| 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. thanks! Pádraig
| [Prev in Thread] | Current Thread | [Next in Thread] |