From 413ab86d4af5dd694a7c2aaef0027f2c5e1a6b61 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Thu, 20 Apr 2017 12:11:35 +0200
Subject: [PATCH] Bump version post-5.25.2

---
 doc/manual.html  | 2 +-
 package.json     | 2 +-
 src/edit/main.js | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/manual.html b/doc/manual.html
index 160fafad..62d1801c 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.25.2</span>
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.25.3</span>
     </h2>
 
     <p>CodeMirror is a code-editor component that can be embedded in
diff --git a/package.json b/package.json
index 111b77a4..dbff5cbd 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "codemirror",
-  "version": "5.25.2",
+  "version": "5.25.3",
   "main": "lib/codemirror.js",
   "description": "Full-featured in-browser code editor",
   "license": "MIT",
diff --git a/src/edit/main.js b/src/edit/main.js
index 531d0300..e9dd8b8a 100644
--- a/src/edit/main.js
+++ b/src/edit/main.js
@@ -66,4 +66,4 @@ import { addLegacyProps } from "./legacy"
 
 addLegacyProps(CodeMirror)
 
-CodeMirror.version = "5.25.2"
+CodeMirror.version = "5.25.3"
-- 
GitLab