diff -r 36a34f3a8cb8 -r 510ebf846696 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Aug 13 15:11:30 2020 +0200
+++ b/CONTRIBUTORS	Thu Aug 13 15:52:40 2020 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* August 2020: Makarius Wenzel
+  Improved monitoring of runtime statistics: ML GC progress and Java.
+
 * July 2020: Martin Desharnais
   Integration of Metis 2.4.