From: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Date: Thu, 13 May 2021 15:22:37 GMT
Subject: Re: [PATCH 5/8] doc: remove redundant rm
Message-ID: <878s4islld.fsf@evledraar.gmail.com>
In-Reply-To: <20210512222803.508446-6-felipe.contreras@gmail.com>


On Wed, May 12 2021, Felipe Contreras wrote:

> It's not clear what it was supposed to achieve.

It seems this used to make sense around 7b8a74f39cb (Documentation:
Replace @@GIT_VERSION@@ in documentation, 2007-03-25), but at some point
(I didn't look further) we refactored that and kept the "rm".