From 0d80d19bcbb4106ab2aac9697c40fa08224f5d3d Mon Sep 17 00:00:00 2001
From: Bengt Brodersen <qoomon@users.noreply.github.com>
Date: Fri, 30 Jan 2015 17:43:38 +0100
Subject: [PATCH] Update bookmarklet.js

---
 bookmarklet.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bookmarklet.js b/bookmarklet.js
index a24770a..ef732d3 100644
--- a/bookmarklet.js
+++ b/bookmarklet.js
@@ -1,4 +1,4 @@
-version = "3.1.12";
+version = "3.1.13";
 console.log("Version: " + version);
 
 var isDev = typeof isDev === 'undefined' || isDev ;