From ef2cbf210b7dd470804a85243a98babf84507867 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Wed, 19 Jul 2017 18:50:53 +0200
Subject: [PATCH] Release 12.3.2

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

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