Merge pull request #37332 from bigbadaI/add-BigBadAI

Merging PR from @bigbadaI
jlord · Nov 14, 2020 · 1fa7085 · 1fa7085
2 parents 90eb540 + b5fed4b
commit 1fa7085
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CONTRIBUTORS/add-BigBadAI.txt b/CONTRIBUTORS/add-BigBadAI.txt
@@ -0,0 +1 @@
+BigBadAI