From 1e246293de1653bba7d08e26c85eae812bbbeb78 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Wed, 23 Mar 2016 09:31:47 +0100
Subject: [PATCH] Bump version number post-5.13.2
---
doc/manual.html | 2 +-
lib/codemirror.js | 2 +-
package.json | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/manual.html b/doc/manual.html
index 9642a11ad..9cbb3a3a4 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -69,7 +69,7 @@
<section class=first id=overview>
<h2 style="position: relative">
User manual and reference guide
- <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.13.2</span>
+ <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.13.3</span>
</h2>
<p>CodeMirror is a code-editor component that can be embedded in
diff --git a/lib/codemirror.js b/lib/codemirror.js
index ec49e3a33..a261a09b3 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -8889,7 +8889,7 @@
// THE END
- CodeMirror.version = "5.13.2";
+ CodeMirror.version = "5.13.3";
return CodeMirror;
});
diff --git a/package.json b/package.json
index 7440fd5b3..11551de2d 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
{
"name": "codemirror",
- "version":"5.13.2",
+ "version":"5.13.3",
"main": "lib/codemirror.js",
"description": "In-browser code editing made bearable",
"license": "MIT",
--
GitLab