Merge pull request #35010 from jegala69/add-jegala69

Merging PR from @jegala69
jlord · May 15, 2020 · 19c6cec · 19c6cec
2 parents ac0b0d1 + 0922e64
commit 19c6cec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CONTRIBUTORS/add-jegala69.txt b/CONTRIBUTORS/add-jegala69.txt
@@ -0,0 +1 @@
+jegala69