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

"Dr. Arne Babenhauserheide" <[email protected]>
Newsgroups gmane.lisp.guile.bugs
Message-ID <[email protected]>
Ludovic Courtès <[email protected]> writes:
> Hi Arne and Lee,
> "Dr. Arne Babenhauserheide" <[email protected]> skribis:
>> From 8bfc607ffbc433b7dde50787cf813bd455726daa Mon Sep 17 00:00:00 2001
>> From: Arne Babenhauserheide <[email protected]>
>> 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, 1.1 KB)
-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmOUw+YQHGFybmVfYmFi
QHdlYi5kZQAKCRAT741FJAPD60mOD/9DDX4MBB3tgImBfnjNm+nt1Am3B7q1+pMF
Jodq/MhfFdDFZoAN5EIvCDGZTd0qph3yX0a/sa/Lzb5/osFmkjD+zCfPEjvFn6CJ
NXHT6wCck1Wa5ACPoSVygnDyjEEJDfZrs2R2RvzKA2BJggVsN5bKYADnET8gRh5o
OcpuLAvEjUkpPWIC/9QAimsUXJaobTRf38DN4wwC4LfczjmEktQ6deFB0YkIKDHO
FA7m/WR1TCMWwLLn1HECh28q3KCg/CQQaUeWF6CRTuNM3GcO9Agp0WOcUhvV96Jw
7YXjkIy8nbESX2DW7gtsfqFXErAnqQKarGvSfWIpEHvotC+qkwkKgoalvpaKSxus
a7MWZkZZx1lPYdk9P+MToj8+7F15UO3JRw0JMKyVqTNTZzbU+ix46OAL9FYwl+pV
j3e5HwuNQOILMH7waS1U7iGiTgXpX6poAGH4HilDcvYex2i2OI7PJRM0835Y7RWa
n+IdVsISd26ZnHkpCiNeM7fiDwl77Nt58lKfq+bqSdUcIzYg6aCZkgK4pGcSO/pX
eruwZwdhcMDh+a6q1ci3P/7f+BWRFjF/Ae2meBxggJGWY2CbrRTxihiYJ7P30vIT
uX2U3qkotiqxPWfcL3wTMFfPe3Atmas0ZnJYJB/PzdC2f2isdQrjGh42ljwNLrN9
zNShMMWhe4jEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmOUw+YQHGFy
bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSF8wBACDfg0FtXnFtTXLtpFXNZXAsiAD
pGg+6u3mAB93pV7FkjBZjxXCJT9BxHVFCPQJVNK9F9Yhnfc1nIT0grbea+M5GeOd
UOeCzt8EdzXzEp0/ZFwwB1Ah2nryj04uAqbNUgaLo25Qq+T3oWH5ZdbkASow3YRn
m2sGdKsQtrCl/o8PsA==
=R4eK
-----END PGP SIGNATURE-----
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.