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 /MAINTAINERS | |
parent | 1b7024bd7eef7bbefde905956d2d701c5b1ba203 (diff) |
Update MAINTAINERS file
Diffstat (limited to 'MAINTAINERS')
-rw-r--r-- | MAINTAINERS | 1 |
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> |