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