Subject: Re: new snapshot available: grep-3.4-almost.31-fe6c

From: Paul Eggert <[email-masked]>
Date: Mon, 21 Sep 2020 12:25:39 -0700

On 9/21/20 12:21 PM, Jim Meyering wrote:

> I ran into that problem in July or so and took the easy
> way out: I built the latest from git and installed that early in my
> shell's search path (on Fedora 32). Now make --version reports I'm
> using 4.3.90.

Ah, OK, good enough. I'm closing the bug report then, as it's OK to require the 
latest tools to run 'make dist'.