diff options
| author | David Aspinall | 2007-12-13 13:10:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-13 13:10:39 +0000 |
| commit | 60705ed44990aeac80d7830fea515e24e012bd8e (patch) | |
| tree | 74de0655fbdeee40d2c3f8c3759e1515e62873b7 | |
| parent | acc4886105ef93a97e3c3a86e57210ebed0a5725 (diff) | |
Add Gerwin
| -rw-r--r-- | Makefile.devel | 1 |
1 files changed, 1 insertions, 0 deletions
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" |