diff -r 3e5a06add554 -r 0f95dfe27682 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Mar 05 20:41:07 2024 +0100
+++ b/CONTRIBUTORS	Tue Mar 05 20:58:11 2024 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* 2023/2024: Makarius Wenzel and Fabian Huch
+  More support for distributed build clusters.
+
 * October 2023: Fabian Huch
   Support for SMTP mailing.