GNU bug report logs - #57440
Guile manual has incorrect history on the name

Previous Next

Full log

View this message in rfc822 format

From: "Dr. Arne Babenhauserheide" <arne_bab <at> web.de>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Lee Thomas <leet22303be <at> gmail.com>, 57440 <at> debbugs.gnu.org
Subject: bug#57440: Guile manual has incorrect history on the name
Date: Sat, 10 Dec 2022 18:36:46 +0100

[Message part 1 (text/plain, inline)]

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

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.