diff --git a/doc/manual.html b/doc/manual.html
index 9642a11ada8ae546121c39289c7a97cace0f4e3f..9cbb3a3a41d8ed978c2cd14a0be8d39969214150 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 ec49e3a338063b58ab2fa4002e9a1b92212412ca..a261a09b3779423b6602882d7e4d0e141e078c73 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 7440fd5b34e3515b8196005b4adf294d781b17e8..11551de2d640acc0f775aca787709126e7611608 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",