diff --git a/CONTRIBUTORS/add-Thomas012.txt b/CONTRIBUTORS/add-Thomas012.txt
new file mode 100644
index 0000000000000..8fe9cfb526660
--- /dev/null
+++ b/CONTRIBUTORS/add-Thomas012.txt
@@ -0,0 +1 @@
+Thomas012
\ No newline at end of file