From a1808f723081f1d7f0161a9ec0277aaf0ef0c8d5 Mon Sep 17 00:00:00 2001
From: Roberto Aloi <robertoaloi@users.noreply.github.com>
Date: Thu, 8 Dec 2016 22:47:46 +0100
Subject: Update THANKS

---
 THANKS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/THANKS b/THANKS
index c5f7522..63f4aaa 100644
--- a/THANKS
+++ b/THANKS
@@ -137,3 +137,4 @@ Stefan Grundmann
 Carlos Eduardo de Paula
 Derek Brown
 Heinz N. Gies
+Roberto Aloi
-- 
cgit v1.1