CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Aug 27 14:22:28 2023 +0200
+++ b/CONTRIBUTORS	Sun Aug 27 15:28:48 2023 +0200
@@ -21,6 +21,9 @@
   ML heap usage and stored heap size has been significantly reduced;
   based on new command-line tool "isabelle profiling".
 
+* 2023: Makarius Wenzel and Fabian Huch
+  Support for distributed build clusters, based on SSH and PostgreSQL.
+
 
 Contributions to Isabelle2022
 -----------------------------