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