From: David Scott <dave.scott@eu.citrix.com>
Date: Wed, 2 Sep 2015 10:04:41 +0000 (+0100)
Subject: MAINTAINERS: tools/ocaml: update David Scott's email address
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~2588
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=09e2a619a4c028a4e452fb557a215c70feb20bc5;p=xen.git

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 73a96c978b..a7fad84c67 100644
--- 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/