From 7ff0741fe0c59389840931283c1d1aff7d7f5b78 Mon Sep 17 00:00:00 2001
From: "David Benson [draw.io]" <david@jgraph.com>
Date: Tue, 21 Apr 2020 22:27:49 +0100
Subject: [PATCH] Ready for 13.0.1

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

diff --git a/drawio b/drawio
index 0674f6371..8bf372139 160000
--- a/drawio
+++ b/drawio
@@ -1 +1 @@
-Subproject commit 0674f6371456d0d24c3b05ef43081958c85e0aab
+Subproject commit 8bf3721399663c4267f521cb304b66f161f00e2d
diff --git a/package.json b/package.json
index 6b8b826e2..0626d7bf0 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "draw.io",
-  "version": "13.0.0",
+  "version": "13.0.1",
   "description": "diagrams.net desktop",
   "main": "electron.js",
   "scripts": {