diff options
| -rw-r--r-- | Makefile.devel | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/Makefile.devel b/Makefile.devel index 42a72f2e..71c2b1c5 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -65,16 +65,15 @@ # Arguments for rcs2log for ChangeLog target DEVELOPERS=\ --u "da David Aspinall da@proofgeneral.org" \ --u "markus Markus Wenzel wenzelm@informatik.tu-muenchen.de" \ --u "pier Pierre Courtieu courtieu@lri.fr" \ --u "crr Christophe Raffalli Christophe.Raffalli@univ-savoie.fr" \ --u "pxc Paul Callaghan P.C.Callaghan@durham.ac.uk" \ --u "patrl Patrick Loiseleur Patrick.Loiseleur@lri.fr" \ --u "tms Thomas Kleymann tms@dcs.ed.ac.uk" \ --u "djs Dilip Sequiera djs@dcs.ed.ac.uk" \ --u "hhg Healfdene Goguen hhg@dcs.ed.ac.uk" - +-u "da David Aspinall da@proofgeneral.org" \ +-u "markus Markus Wenzel support+wenzelm@proofgeneral.org" \ +-u "pier Pierre Courtieu courtieu@lri.fr" \ +-u "crr Christophe Raffalli Christophe.Raffalli@univ-savoie.fr" \ +-u "pxc Paul Callaghan P.C.Callaghan@durham.ac.uk" \ +-u "patrl Patrick Loiseleur support+patrl@proofgeneral.org" \ +-u "tms Thomas Kleymann support+tms@proofgeneral.org" \ +-u "djs Dilip Sequiera support+djs@proofgeneral.org" \ +-u "hhg Healfdene Goguen support+hhg@proofgeneral.org" # PRERELEASE_PREFIX is used to match PRERELEASE_TAG in sed |