From 7c0efea7df301c32b56949054973217e41ce31ab Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 5 Sep 2012 20:51:34 +0000
Subject: [PATCH] add a THANKS file for listing external source code
 contributors

---
 THANKS | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 THANKS

diff --git a/THANKS b/THANKS
new file mode 100644
index 000000000..b135fe36e
--- /dev/null
+++ b/THANKS
@@ -0,0 +1,3 @@
+Thanks to Peter Collingbourne and his group (the Multicore Programming Group
+at Imperial College London) for developing and submitting some patches in
+September 2012 related to SMT-LIBv2 compliance.
-- 
2.30.2