diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | MAINTAINERS | 1 |
2 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,7 @@ +2014-12-17 Pierre-Marie de Rodat <derodat@adacore.com> + + * MAINTAINERS (Write After Approval): Add myself. + 2014-12-16 Michael Haubenwallner <michael.haubenwallner@ssi-schaefer.com> * MAINTAINERS (Write After Approval): Add myself. diff --git a/MAINTAINERS b/MAINTAINERS index 59de5fe..2ca6c47 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -526,6 +526,7 @@ Rolf Rasmussen <rolfwr@gcc.gnu.org> Volker Reichelt <v.reichelt@netcologne.de> Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> Tom Rix <trix@redhat.com> +Pierre-Marie de Rodat <derodat@adacore.com> Craig Rodrigues <rodrigc@gcc.gnu.org> Erven Rohou <erven.rohou@inria.fr> Ira Rosen <irar@il.ibm.com> |