as per https://gcc.gnu.org/ml/gcc/2014-07/msg00231.html
Richard
* MAINTAINERS: Remove my MIPS maintainer entry.
Index: MAINTAINERS
===================================================================
--- MAINTAINERS 2014-07-24 16:13:22.686714267 +0100
+++ MAINTAINERS 2014-07-27 19:01:59.931740086 +0100
@@ -79,7 +79,6 @@ mcore port Nick Clifton [email protected]
mep port DJ Delorie [email protected]
microblaze Michael Eager [email protected]
mips port Eric Christopher [email protected]
-mips port Richard Sandiford [email protected]
mmix port Hans-Peter Nilsson [email protected]
mn10300 port Jeff Law [email protected]
mn10300 port Alexandre Oliva [email protected]
