From f4a4090814f240414548e8eda55070d16f3d3901 Mon Sep 17 00:00:00 2001
From: Bart van den Eijnden <bartvde@opengeo.org>
Date: Tue, 9 Jul 2013 11:26:12 +0200
Subject: [PATCH] set correct VERSION_NUMBER

---
 lib/OpenLayers.js            | 2 +-
 lib/OpenLayers/SingleFile.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/OpenLayers.js b/lib/OpenLayers.js
index f55f88c0d4..03530c259d 100644
--- a/lib/OpenLayers.js
+++ b/lib/OpenLayers.js
@@ -426,4 +426,4 @@
  * When asking questions or reporting issues, make sure to include the output of
  *     OpenLayers.VERSION_NUMBER in the question or issue-description.
  */
-OpenLayers.VERSION_NUMBER="Release 2.13";
+OpenLayers.VERSION_NUMBER="Release 2.13.1";
diff --git a/lib/OpenLayers/SingleFile.js b/lib/OpenLayers/SingleFile.js
index 701ea5dbf7..1f210c9c31 100644
--- a/lib/OpenLayers/SingleFile.js
+++ b/lib/OpenLayers/SingleFile.js
@@ -7,7 +7,7 @@ var OpenLayers = {
     /**
      * Constant: VERSION_NUMBER
      */
-    VERSION_NUMBER: "Release 2.13",
+    VERSION_NUMBER: "Release 2.13.1",
 
     /**
      * Constant: singleFile