CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Jul 08 16:35:23 2020 +0200
+++ b/CONTRIBUTORS	Thu Jul 09 11:39:16 2020 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* July 2020: Martin Desharnais
+  Integration of Metis 2.4.
+
 * June 2020: Makarius Wenzel
   System option pide_session is enabled by default, notably for standard
   "isabelle build" to invoke Scala from ML.