diff options
Diffstat (limited to 'MAINTAINERS')
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index e4c54099339..fd45ca2e830 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -186,6 +186,7 @@ basic block reordering Jason Eckhardt jle@rice.edu i18n Philipp Thomas pth@suse.de i18n Joseph Myers jsm@polyomino.org.uk diagnostic messages Gabriel Dos Reis gdr@integrable-solutions.net +build machinery (*.in) Paolo Bonzini bonzini@gnu.org build machinery (*.in) DJ Delorie dj@redhat.com build machinery (*.in) Nathanael Nerode neroden@gcc.gnu.org build machinery (*.in) Alexandre Oliva aoliva@redhat.com |