From 3004ae2c3a2465ce83f7339a0a81584abd9dd84f Mon Sep 17 00:00:00 2001
From: Philipp Hagemeister <phihag@phihag.de>
Date: Tue, 25 Nov 2014 12:16:48 +0100
Subject: [PATCH] Credit @t0mm0 for xminus (#4302)

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

diff --git a/AUTHORS b/AUTHORS
index cc129896b..d4b0b75fa 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -87,3 +87,4 @@ William Sewell
 Dao Hoang Son
 Oskar Jauch
 Matthew Rayfield
+t0mm0