diff options
-rw-r--r-- | MAINTAINERS | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 6a1589c..1c2f3a1 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -635,6 +635,7 @@ Dinar Temirbulatov <dtemirbulatov@gmail.com> Kresten Krab Thorup <krab@gcc.gnu.org> Kai Tietz <ktietz70@googlemail.com> Ilya Tocar <tocarip@gmail.com> +Petter Tomner <tomner@kth.se> Philipp Tomsich <philipp.tomsich@vrull.eu> Daniel Towner <dant@picochip.com> Konrad Trifunovic <konrad.trifunovic@inria.fr> @@ -709,3 +710,4 @@ information. Jeff Law <jlaw@tachyum.com> Gaius Mulley <gaius.mulley@southwales.ac.uk> Trevor Saunders <tbsaunde+gcc@tbsaunde.org> + Petter Tomner <tomner@kth.se>
\ No newline at end of file |