autocorres: bring CONTRIBUTORS file up to date

- remove defunct email addresses - add myself as current maintainer Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Nov 3, 2023 · 03e4ef9 · 03e4ef9
1 parent 4743f0b
commit 03e4ef9
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/tools/autocorres/tools/release_files/CONTRIBUTORS b/tools/autocorres/tools/release_files/CONTRIBUTORS
@@ -1,19 +1,21 @@
-Core Development Team
----------------------
+Core Developers
+---------------
 
     David Greenaway (inactive)
 
-    Japheth Lim <[email protected]>
+    Japheth Lim (inactive)
+
+    Gerwin Klein (maintenance)
 
 Contributions
 -------------
 
-    Lars Noschinski <[email protected]>
+    Lars Noschinski
 
         "owhile" definitions and related rules, as well as many other
         contributions to the proof libraries.
 
-    Matthew Brecknell <[email protected]>
+    Matthew Brecknell (inactive)
 
         Maintenance; integration with seL4's C refinement framework.