Re: [PATCH] Update after gnulib changed, v2

[Paul Eggert]

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.