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

From: "Dr. Arne Babenhauserheide" <[email-masked]>
Date: Sat, 10 Dec 2022 18:36:46 +0100

Ludovic Courtès <[email-masked]> writes:
> 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!

The change is pushed now. Thank you for the heads up!

https://git.savannah.gnu.org/cgit/guile.git/commit/?id=beb7a2af795640dafb585c342fc331384270b9ca

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de