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 3b39db15f44..45384b13ad9 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -236,6 +236,7 @@ Jim Blandy jimb@codesourcery.com Phil Blundell pb@futuretv.com Hans Boehm hboehm@gcc.gnu.org Segher Boessenkool segher@kernel.crashing.org +Andrea Bona andrea.bona@st.com Paolo Bonzini bonzini@gnu.org Neil Booth neil@daikokuya.co.uk Steven Bosscher stevenb.gcc@gmail.com |