From c8d4105d230db50678cdbac2d7915b44adb71a23 Mon Sep 17 00:00:00 2001
From: Bart van den Eijnden <bartvde@opengeo.org>
Date: Mon, 17 Jun 2013 14:03:59 +0200
Subject: [PATCH] set VERSION_NUMBER to 2.13 final

---
 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 da1856eb61..f55f88c0d4 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-rc7";
+OpenLayers.VERSION_NUMBER="Release 2.13";
diff --git a/lib/OpenLayers/SingleFile.js b/lib/OpenLayers/SingleFile.js
index 891bed5ae7..701ea5dbf7 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-rc7",
+    VERSION_NUMBER: "Release 2.13",
 
     /**
      * Constant: singleFile