From 81e2b38b605a2bf471163dff2392e581718cf63b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Jan 2011 17:06:06 +0000
Subject: Add new CVS users to DEVELOPERS list.

---
 Makefile.devel | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index e73a60da..9a688241 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -82,8 +82,9 @@ DEVELOPERS=\
 -u "djs	Dilip Sequiera	da+pg-djs@inf.ed.ac.uk" \
 -u "hhg	Healfdene Goguen	da+pg-hhg@inf.ed.ac.uk" \
 -u "gklein	Gerwin Klein	gerwin.klein@nicta.com.au" \
--u "assia	Assia Mahboubi	assia.mahboubi@inria.fr"
-
+-u "assia	Assia Mahboubi	assia.mahboubi@inria.fr" \
+-u "monnier	Stefan Monnier	monnier@iro.umontreal.ca" \
+-u "tews	Hendrik Tews	tews@os.inf.tu-dresden.de"
 
 # PRERELEASE_PREFIX is used to match PRERELEASE_TAG in sed
 # line in tag target below, which edits $(DOWNLOADHTML)
-- 
cgit v1.2.3