From 7c185ca6bf7b1a3f567f1bcb7d18453fd04da08b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Lorber?= <slorber@users.noreply.github.com>
Date: Fri, 9 Oct 2020 09:45:20 +0200
Subject: [PATCH] Update users.js

---
 website/src/data/users.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/website/src/data/users.js b/website/src/data/users.js
index ed4eabcc0d24..e77a7661e313 100644
--- a/website/src/data/users.js
+++ b/website/src/data/users.js
@@ -5,7 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  */
 
-
 const users = [
   // Please add in alphabetical order of title.
   {