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

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

  eelco = "Eelco Dolstra <e.dolstra@tudelft.nl>";
  ludo = "Ludovic Courtès <ludo@gnu.org>";
  raskin = "Michael Raskin <7c6f434c@mail.ru>";
}