update release properties.

2013-10-22 13:34:55 +01:00
parent b188d46fde
commit 18799ed4a7
2 changed files with 2 additions and 2 deletions
@@ -90,7 +90,7 @@
 <body>
 	<div id="page-wrapper">
 		<div id="flybar">
-			<div id="nav-logo">1.13.1.RELEASE</div>
+			<div id="nav-logo">1.13.2.RELEASE</div>
 			<div class="flybar-nav">
 				<h2 class="flybar-button">Overview</h2>
 				<div class="flybar-menu-overview">
@@ -1,2 +1,2 @@
-releaseVersion=1.13.1.RELEASE
+releaseVersion=1.13.2.RELEASE