MAINTAINERS: tools/ocaml: update David Scott's email address

Replace my sometimes unreliable <dave.scott@eu.citrix.com> address with
my reliable permanent address.

Reported-by: Doug Goldstein <cardoe@cardoe.com>
Signed-off-by: David Scott <dave@recoil.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/MAINTAINERS b/MAINTAINERS
index 73a96c978b60fb597e054c767fa406f1a6c67217..a7fad84c67d7ccac433e78293bbf0691912f6e10 100644 (file)
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -237,7 +237,7 @@ F:  config/MiniOS.mk
 F:     extras/mini-os/
 
 OCAML TOOLS
-M:     David Scott <dave.scott@eu.citrix.com>
+M:     David Scott <dave@recoil.org>
 S:     Supported
 F:     tools/ocaml/