From 208af47a5963c04a45406b78ea18d716a9e0cd44 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Fri, 20 May 2016 21:01:55 +0200
Subject: [PATCH] Bump version number post-5.15.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 3f898bd9f..8c39e7f94 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.15.2</span>
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.15.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 5439299b3..c56e147ee 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -8902,7 +8902,7 @@
 
   // THE END
 
-  CodeMirror.version = "5.15.2";
+  CodeMirror.version = "5.15.3";
 
   return CodeMirror;
 });
diff --git a/package.json b/package.json
index 3200d2326..d4dd2b00e 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "codemirror",
-    "version":"5.15.2",
+    "version":"5.15.3",
     "main": "lib/codemirror.js",
     "description": "Full-featured in-browser code editor",
     "license": "MIT",
-- 
GitLab