Add credits for the win32 port

diff --git a/CREDITS b/CREDITS
index 049bcaea36607b865e4f310743db15946f1c58c2..38f89f923532e9e4f642e0c5ab5415f8d54b9a47 100644 (file)
--- a/CREDITS
+++ b/CREDITS
@@ -23,3 +23,6 @@ Michael Schroeder
 Ingo Weinhold
   - haiku support
 
+Wolf Vollprecht
+  - win32 port
+