aboutsummaryrefslogtreecommitdiff
path: root/MAINTAINERS
diff options
context:
space:
mode:
Diffstat (limited to 'MAINTAINERS')
-rw-r--r--MAINTAINERS1
1 files changed, 0 insertions, 1 deletions
diff --git a/MAINTAINERS b/MAINTAINERS
index 659600f..6eb740d 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -1,5 +1,4 @@
The maintainers of DejaGnu are:
Rob Savoye <rob@welcomehome.org>
- Ben Elliston <bje@gnu.org>
Jacob Bachmeyer <jcb@gnu.org>