Subject: Re: bug#57440: Guile manual has incorrect history on the name

From: Ludovic Courtès <[email-masked]>
Date: Sat, 01 Oct 2022 15:53:48 +0200

Hi Arne and Lee,

"Dr. Arne Babenhauserheide" <[email-masked]> skribis:

> From 8bfc607ffbc433b7dde50787cf813bd455726daa Mon Sep 17 00:00:00 2001
> From: Arne Babenhauserheide <[email-masked]>
> Date: Sat, 27 Aug 2022 01:57:57 +0200
> Subject: [PATCH] doc: Lee Thomas suggested the name change.

Thanks for the historical research work, please push, Arne!

And of course, thank you Lee for this significant contribution to the
project, and thanks for letting us know.

Cheers,
Ludo’.