Credit @t0mm0 for xminus (#4302)

author Philipp Hagemeister <phihag@phihag.de>

Tue, 25 Nov 2014 11:16:48 +0000 (12:16 +0100)

committer Philipp Hagemeister <phihag@phihag.de>

Tue, 25 Nov 2014 11:16:48 +0000 (12:16 +0100)
author Philipp Hagemeister <phihag@phihag.de>
Tue, 25 Nov 2014 11:16:48 +0000 (12:16 +0100)
committer Philipp Hagemeister <phihag@phihag.de>
Tue, 25 Nov 2014 11:16:48 +0000 (12:16 +0100)
diff --git a/AUTHORS b/AUTHORS

index cc129896b17d53deb8bad5be7d5651c48ee32540..d4b0b75faaa3b17ffe84424aebb4016f94931b36 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -87,3 +87,4 @@ William Sewell
  Dao Hoang Son
  Oskar Jauch
  Matthew Rayfield
+t0mm0
author	Philipp Hagemeister <phihag@phihag.de>
	Tue, 25 Nov 2014 11:16:48 +0000 (12:16 +0100)
committer	Philipp Hagemeister <phihag@phihag.de>
	Tue, 25 Nov 2014 11:16:48 +0000 (12:16 +0100)