From c1a3e0eaa32eee04c43bab13cb459d53af11b9ba Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Wed, 23 Mar 2016 09:30:48 +0100
Subject: [PATCH] Mark release 5.13.2

---
 AUTHORS           | 1 +
 CHANGELOG.md      | 6 ++++++
 doc/compress.html | 1 +
 doc/manual.html   | 2 +-
 doc/releases.html | 6 ++++++
 lib/codemirror.js | 2 +-
 package.json      | 2 +-
 7 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/AUTHORS b/AUTHORS
index c3680eb4d..03b1ac5b0 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -212,6 +212,7 @@ Herculano Campos
 Hiroyuki Makino
 hitsthings
 Hocdoc
+Hugues Malphettes
 Ian Beck
 Ian Dickinson
 Ian Wehrman
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 60ec9df51..b0a6ab57f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,9 @@
+## 5.13.2 (2016-03-23)
+
+### Bugfixes
+
+Solves a problem where the gutter would sometimes not extend all the way to the end of the document.
+
 ## 5.13.0 (2016-03-21)
 
 ### New features
diff --git a/doc/compress.html b/doc/compress.html
index a0d4364a3..47d689429 100644
--- a/doc/compress.html
+++ b/doc/compress.html
@@ -36,6 +36,7 @@
       <input type="hidden" id="download" name="download" value="codemirror-compressed.js"/>
       <p>Version: <select id="version" onchange="setVersion(this);" style="padding: 1px;">
         <option value="http://codemirror.net/">HEAD</option>
+        <option value="http://marijnhaverbeke.nl/git/codemirror?a=blob_plain;hb=5.13.2;f=">5.13</option>
         <option value="http://marijnhaverbeke.nl/git/codemirror?a=blob_plain;hb=5.13.0;f=">5.13</option>
         <option value="http://marijnhaverbeke.nl/git/codemirror?a=blob_plain;hb=5.12.0;f=">5.12</option>
         <option value="http://marijnhaverbeke.nl/git/codemirror?a=blob_plain;hb=5.11.0;f=">5.11</option>
diff --git a/doc/manual.html b/doc/manual.html
index da2cc0bd3..9642a11ad 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.1</span>
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.13.2</span>
     </h2>
 
     <p>CodeMirror is a code-editor component that can be embedded in
diff --git a/doc/releases.html b/doc/releases.html
index f99334d25..99306b91c 100644
--- a/doc/releases.html
+++ b/doc/releases.html
@@ -30,6 +30,12 @@
 
   <h2>Version 5.x</h2>
 
+  <p class="rel">21-03-2016: <a href="http://codemirror.net/codemirror-5.13.2.zip">Version 5.13.2</a>:</p>
+
+  <ul class="rel-note">
+    <li>Solves a problem where the gutter would sometimes not extend all the way to the end of the document.</li>
+  </ul>
+
   <p class="rel">21-03-2016: <a href="http://codemirror.net/codemirror-5.13.zip">Version 5.13</a>:</p>
 
   <ul class="rel-note">
diff --git a/lib/codemirror.js b/lib/codemirror.js
index d5a9e3400..ec49e3a33 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -8889,7 +8889,7 @@
 
   // THE END
 
-  CodeMirror.version = "5.13.1";
+  CodeMirror.version = "5.13.2";
 
   return CodeMirror;
 });
diff --git a/package.json b/package.json
index 7d23ce0b2..7440fd5b3 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "codemirror",
-    "version":"5.13.1",
+    "version":"5.13.2",
     "main": "lib/codemirror.js",
     "description": "In-browser code editing made bearable",
     "license": "MIT",
-- 
GitLab