Ludovic Courtès <ludo@gnu.org> writes:
> Hi Arne and Lee,
> "Dr. Arne Babenhauserheide" <arne_bab@web.de> skribis:
>> From 8bfc607ffbc433b7dde50787cf813bd455726daa Mon Sep 17 00:00:00 2001
>> From: Arne Babenhauserheide <arne_bab@web.de>
>> 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