From 608b5e33193c6de0dfd5bad6fc573a53efc628ba Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Thu, 4 Feb 2016 12:12:57 +0100
Subject: [PATCH] Release 0.8.12

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

diff --git a/dist b/dist
index 4340f028..f9a9edcc 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 4340f028b5a7e309cd14f6c97bbfb1a626a1330c
+Subproject commit f9a9edcc260146a9e6d1ff5ee215890fd0cbe39b
diff --git a/package.json b/package.json
index ac517303..c7572dc2 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "yjs",
-  "version": "0.8.12",
+  "version": "0.8.13",
   "description": "A framework for real-time p2p shared editing on arbitrary complex data types",
   "main": "./src/y.js",
   "scripts": {