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! And of course, thank you Lee for this significant contribution to the project, and thanks for letting us know. Cheers, Ludo’.
