/* -*- coding: utf-8; -*- */

{
  /* Add your name and email address here.  Keep the list
     alphabetically sorted.  */

  andres = "Andres Loeh <andres@cs.uu.nl>";
  eelco = "Eelco Dolstra <e.dolstra@tudelft.nl>";
  ludo = "Ludovic Courtès <ludo@gnu.org>";
  marcweber = "Marc Weber <marco-oweber@gmx.de>";
  raskin = "Michael Raskin <7c6f434c@mail.ru>";
  sander = "Sander van der Burg <s.vanderburg@tudelft.nl>";
}