diff options
| author | David Aspinall | 2003-05-28 12:56:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-05-28 12:56:42 +0000 |
| commit | 6bc0e26b2a13b2ddd393df502ce9f5177894dd71 (patch) | |
| tree | 706a54bcd93446aa5cd290fb84de524c1caf37c0 | |
| parent | 5cdee603deac6680e32334243b471d7af946ee17 (diff) | |
Add Gerwin and Stefan canonical emails to ChangeLog generation
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index b599ad80..79d6d625 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -67,6 +67,8 @@ DEVELOPERS=\ -u "da David Aspinall da@proofgeneral.org" \ +-u "gkein Gerwin Klein gklein@in.tum.de" \ +-u "sberghof Stefan Berghofer berghofe@in.tum.de" \ -u "markus Markus Wenzel support+wenzelm@proofgeneral.org" \ -u "pier Pierre Courtieu courtieu@lri.fr" \ -u "crr Christophe Raffalli Christophe.Raffalli@univ-savoie.fr" \ |