From 980792c8af8f87bcee302567543fd1f5f0bdbc94 Mon Sep 17 00:00:00 2001 From: benoitc Date: Wed, 11 May 2011 22:54:20 +0200 Subject: [PATCH] add Michael Schurter to THANKS --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index bd44a238..c9e5386f 100644 --- a/THANKS +++ b/THANKS @@ -28,3 +28,4 @@ Graham Dumpleton Dan Sully Fabian Topfstedt Denis Bilenko +Michael Schurter