CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Oct 26 11:39:45 2023 +0200
+++ b/CONTRIBUTORS	Thu Oct 26 17:53:22 2023 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2023: Fabian Huch
+  Support for SMTP mailing.
+
 
 Contributions to Isabelle2023
 -----------------------------