From a5506a5ded0f16782d39785ab9214ee0ce1445d5 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Sat, 17 Jun 2017 14:32:28 +0200
Subject: [PATCH] Release 12.3.1

---
 dist         | 2 +-
 package.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dist b/dist
index 3eafd787..42aa7ec5 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 3eafd78710a30cd01bf4c6b3553c141e7ac604a5
+Subproject commit 42aa7ec5c9c0b4f2734b5b01eae7f0df63bfd9ff
diff --git a/package.json b/package.json
index 6ec4d451..a67ea7c4 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "yjs",
-  "version": "12.3.0",
+  "version": "12.3.1",
   "description": "A framework for real-time p2p shared editing on any data",
   "main": "./src/y.js",
   "scripts": {