From a196861f9a44db63f946bbe68119f8ab903f3bd5 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Fri, 19 Feb 2016 17:42:39 +0100
Subject: [PATCH] Bump version number post-5.12
---
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 8081d8ca4..29a7ed38e 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.12.0</span>
+ <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.12.1</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 e803211bc..f77188046 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -8886,7 +8886,7 @@
// THE END
- CodeMirror.version = "5.12.0";
+ CodeMirror.version = "5.12.1";
return CodeMirror;
});
diff --git a/package.json b/package.json
index 0ff734e8c..1b4f32e52 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
{
"name": "codemirror",
- "version":"5.12.0",
+ "version":"5.12.1",
"main": "lib/codemirror.js",
"description": "In-browser code editing made bearable",
"license": "MIT",
--
GitLab