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