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 35a7d871148..f9796f8001e 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -187,6 +187,7 @@ Eric Blake ericb@gcc.gnu.org Jim Blandy jimb@redhat.com Phil Blundell pb@futuretv.com Hans Boehm hboehm@gcc.gnu.org +Paolo Bonzini bonzini@gnu.org Robert Bowdidge bowdidge@apple.com Joel Brobecker brobecker@gnat.com Kevin Buettner kevinb@redhat.com |