[Top][All Lists]

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

Re: [PATCH] Update after gnulib changed, v2

From: Paul Eggert
Subject: Re: [PATCH] Update after gnulib changed, v2
Date: Sun, 5 Jul 2020 19:08:20 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.0

On 7/4/20 2:09 AM, Bruno Haible wrote:
> A gnulib override is no longer needed. Please use this patch instead.

Thanks, I installed that on Savannah in branch-1.4.

reply via email to

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