aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
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