From f97144356c9a747e2f263e148060cd1d85a3240b Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Tue, 22 Nov 2016 13:12:36 +0100
Subject: [PATCH] Release 12.1.3

---
 dist               | 2 +-
 gulpfile.helper.js | 4 ++--
 package.json       | 2 +-
 src/y.js           | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/dist b/dist
index 5dad1ed4..92b9cb81 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 5dad1ed41030f61842034ee2e2dab621fde07997
+Subproject commit 92b9cb8143f3fd82792ee65b079cff797f714c42
diff --git a/gulpfile.helper.js b/gulpfile.helper.js
index 4aba8686..54ed9466 100644
--- a/gulpfile.helper.js
+++ b/gulpfile.helper.js
@@ -61,7 +61,7 @@ module.exports = function (gulp, helperOptions) {
       .pipe($.if(!options.debug, $.uglify().on('error', function (e) {
         console.log('\x07', e.message, JSON.stringify(e)); return this.end()
       })))
-      .pipe(header(banner, { pkg : require('./package.json') } ))
+      .pipe(header(banner, { pkg: require('./package.json') }))
       .pipe($.sourcemaps.write('.'))
       .pipe(gulp.dest('./dist/')))
   })
@@ -79,7 +79,7 @@ module.exports = function (gulp, helperOptions) {
       .pipe($.rename({
         extname: '.es6'
       }))
-      .pipe(header(banner, { pkg : require('./package.json') } ))
+      .pipe(header(banner, { pkg: require('./package.json') }))
       .pipe($.sourcemaps.write('.'))
       .pipe(gulp.dest('./dist/')))
   })
diff --git a/package.json b/package.json
index 4d2d984f..e6cc975f 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "yjs",
-  "version": "12.1.2",
+  "version": "12.1.3",
   "description": "A framework for real-time p2p shared editing on any data",
   "main": "./src/y.js",
   "scripts": {
diff --git a/src/y.js b/src/y.js
index 683cae91..fe5d77cf 100644
--- a/src/y.js
+++ b/src/y.js
@@ -232,4 +232,4 @@ class YConfig {
       return this.db.whenTransactionsFinished()
     })
   }
-}
\ No newline at end of file
+}