From 90bd1c06ddf2f906b57c4652b6c557586764c018 Mon Sep 17 00:00:00 2001
From: Olaf Buitelaar <olaf.buitelaar@gmail.com>
Date: Thu, 3 Jan 2019 20:52:20 +0100
Subject: [PATCH] * remove double semi-column

---
 gulpfile.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gulpfile.js b/gulpfile.js
index bc2f92f730a..bdcd172edcf 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -88,7 +88,7 @@ function lint(done) {
     .pipe(eslint({fix: true}))
     .pipe(eslint.format('stylish'))
     .pipe(eslint.failAfterError())
-    .pipe(gulpif(isFixed, gulp.dest('./')));;
+    .pipe(gulpif(isFixed, gulp.dest('./')));
 };
 
 // View the code coverage report in the browser.