From 8eae28bac32d4b3b2d99bfe992d9988f671a3776 Mon Sep 17 00:00:00 2001
From: "David Benson [draw.io]" <david@jgraph.com>
Date: Wed, 15 Apr 2020 17:56:59 +0100
Subject: [PATCH] Ready for 12.9.13

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

diff --git a/drawio b/drawio
index 6a2b80c81..247767c8e 160000
--- a/drawio
+++ b/drawio
@@ -1 +1 @@
-Subproject commit 6a2b80c810caa5b8b16a90a866387e1465176cc6
+Subproject commit 247767c8e1ef08095b499e759937d75dcf303441
diff --git a/package.json b/package.json
index 2815b9d9a..6a801e135 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "draw.io",
-  "version": "12.9.9",
+  "version": "12.9.13",
   "description": "diagrams.net desktop",
   "main": "electron.js",
   "scripts": {