Re: [PATCH 5/8] doc: remove redundant rm
- From
Ævar Arnfjörð Bjarmason <avarab@gmail.com>
- Date
- May 13, 2021, 15:22 UTC
- 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".