From 572d78fb4d3727a61f67003f8d65321b24154b85 Mon Sep 17 00:00:00 2001
From: Bart van den Eijnden <bartvde@opengeo.org>
Date: Fri, 17 May 2013 13:16:49 +0200
Subject: [PATCH] set version number to 2.13-rc3

---
 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 6849c4fd81..619942e6ba 100644
--- a/lib/OpenLayers.js
+++ b/lib/OpenLayers.js
@@ -425,4 +425,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-rc2";
+OpenLayers.VERSION_NUMBER="Release 2.13-rc3";
diff --git a/lib/OpenLayers/SingleFile.js b/lib/OpenLayers/SingleFile.js
index a78a97198e..41f9426e42 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-rc2",
+    VERSION_NUMBER: "Release 2.13-rc3",
 
     /**
      * Constant: singleFile