From 60705ed44990aeac80d7830fea515e24e012bd8e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 13 Dec 2007 13:10:39 +0000 Subject: Add Gerwin --- Makefile.devel | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.devel b/Makefile.devel index b3058d3d..86930a3f 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -83,6 +83,7 @@ DEVELOPERS=\ -u "tms Thomas Kleymann da+pg-tms@inf.ed.ac.uk" \ -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" -- cgit v1.2.3