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

Previous Next

Package: guile;

Reported by: Lee Thomas <leet22303be <at> gmail.com>

Date: Fri, 26 Aug 2022 21:34:01 UTC

Severity: normal

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: "Dr. Arne Babenhauserheide" <arne_bab <at> web.de>
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, 01 Oct 2022 15:53:48 +0200

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!

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

Cheers,
Ludo’.
This bug report was last modified 2 years and 185 days ago.

Previous Next

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