From 6eb8c05ec807e72d7e0fbc7185ac7ecb618d68b2 Mon Sep 17 00:00:00 2001
From: jwalz <jwalz>
Date: Fri, 15 Mar 2002 22:06:46 +0000
Subject: [PATCH] It was pointed out that we didn't add names quite everywhere.

---
 src/mplayer.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mplayer.c b/src/mplayer.c
index 74f6bd22b..a62fba85d 100644
--- a/src/mplayer.c
+++ b/src/mplayer.c
@@ -29,7 +29,7 @@ static const char *developers[] = {
 	/* Atari team */
 	"Eric", "Marvin", "Warwick",
 	/* NT team */
-	"Michael",
+	"Alex", "Dion", "Michael",
 	/* OS/2 team */
 	"Helge", "Ron", "Timo",
 	/* VMS team */