From 78cbb206ae627ecba0534318dfab1c944494c51d Mon Sep 17 00:00:00 2001
From: Jacob Bachmeyer <jcb@gnu.org>
Date: Mon, 22 Mar 2021 16:20:00 -0500
Subject: Update MAINTAINERS file

---
 MAINTAINERS | 1 -
 1 file changed, 1 deletion(-)

(limited to 'MAINTAINERS')

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>
-- 
cgit v1.1