Update users.js

facebook · Oct 9, 2020 · 6427ede · 6427ede
1 parent 6fbc610
commit 6427ede
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/website/src/data/users.js b/website/src/data/users.js
@@ -5,6 +5,7 @@
  * LICENSE file in the root directory of this source tree.
  */
 
+
 const users = [
   // Please add in alphabetical order of title.
   {