From b4abfe7de45fe45cc5024aa1cb008523ba89de90 Mon Sep 17 00:00:00 2001
From: cha0smaster <cha0smaster>
Date: Thu, 23 Feb 2006 00:36:33 +0000
Subject: [PATCH] Add Mario to credits

---
 CREDITS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CREDITS b/CREDITS
index 7f49cfd1..b42c7dc7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -12,6 +12,7 @@ Anton Altaparmakov <aia21@cantab.net>
 Albert D. Cahalan <acahalan@cs.uml.edu>
 Russ Christensen <rchriste@cs.utah.edu>
 Pete Curran <curran@rpi.edu>
+Mario Emmenlauer <mario@emmenlauer.de>
 Andras Erdei <ccg@freemail.hu>
 Matthew J. Fanto <mattjf@uncompiled.com>
 Yuval Fledel (no email address on request)