diff --git a/CREDITS.txt b/CREDITS.txt index 937e85e30..ad5839474 100644 --- a/CREDITS.txt +++ b/CREDITS.txt @@ -1346,3 +1346,4 @@ Karl-Heinz Behn Geir Atle Storhaug Marco Lange 2 Brains Design +Philip Michels