diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-03-22 16:20:00 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-03-22 16:20:00 -0500 |
commit | 78cbb206ae627ecba0534318dfab1c944494c51d (patch) | |
tree | 2a84502d6ff041f4f9f849d334a9bdbfb45e5d15 | |
parent | 1b7024bd7eef7bbefde905956d2d701c5b1ba203 (diff) | |
download | dejagnu-78cbb206ae627ecba0534318dfab1c944494c51d.zip dejagnu-78cbb206ae627ecba0534318dfab1c944494c51d.tar.gz dejagnu-78cbb206ae627ecba0534318dfab1c944494c51d.tar.bz2 |
Update MAINTAINERS file
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | MAINTAINERS | 1 |
2 files changed, 4 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2021-03-22 Jacob Bachmeyer <jcb@gnu.org> + + * MAINTAINERS: Acknowledge that Ben Elliston has left the project. + 2021-03-15 Jacob Bachmeyer <jcb@gnu.org> * Makefile.am, Makefile.in: Update accordingly. 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> |