From 8cdb4980c80ac082c5237d37dd7cecae3fd23e68 Mon Sep 17 00:00:00 2001 From: benoitc Date: Fri, 21 Dec 2012 13:49:19 +0100 Subject: [PATCH] add David Vincelli to THANKS. --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index 8974f672..f525e6b3 100644 --- a/THANKS +++ b/THANKS @@ -51,3 +51,4 @@ Eric Shull Christos Stavrakakis Dan Callaghan sib +David Vincelli