[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57440: Guile manual has incorrect history on the name
|
From: |
Dr. Arne Babenhauserheide |
|
Subject: |
bug#57440: Guile manual has incorrect history on the name |
|
Date: |
Sat, 10 Dec 2022 18:36:46 +0100 |
|
User-agent: |
mu4e 1.8.11; emacs 28.1 |
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
signature.asc
Description: PGP signature
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#57440: Guile manual has incorrect history on the name,
Dr. Arne Babenhauserheide <=