From 3dbbf181b9115f776fe95ff667ec7c1720a7120d Mon Sep 17 00:00:00 2001 From: Dieter Baron Date: Tue, 4 Mar 2025 12:13:55 +0100 Subject: [PATCH] Thank Chris Mayo. --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index 77bbc001..e36706ed 100644 --- a/THANKS +++ b/THANKS @@ -29,6 +29,7 @@ celan69 chaoticgd Charlie Li ChrisAm1224 +Chris Mayo Chris Nehren Christoph Cullmann Christoph M. Becker