From 6bc0e26b2a13b2ddd393df502ce9f5177894dd71 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 May 2003 12:56:42 +0000
Subject: Add Gerwin and Stefan canonical emails to ChangeLog generation

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

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" \
-- 
cgit v1.2.3