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) | |
| download | dejagnu-78cbb206ae627ecba0534318dfab1c944494c51d.zip dejagnu-78cbb206ae627ecba0534318dfab1c944494c51d.tar.gz dejagnu-78cbb206ae627ecba0534318dfab1c944494c51d.tar.bz2 | |
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> |