From 76c0e77cd43eb87d9082a448d14eede22007a5e6 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Thu, 22 Nov 2018 10:57:28 +0100
Subject: [PATCH] 12.0.13

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
---
 version.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/version.php b/version.php
index ece797a7a4..2cc9c212d8 100644
--- a/version.php
+++ b/version.php
@@ -26,10 +26,10 @@
 // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel
 // when updating major/minor version number.
 
-$OC_Version = array(12, 0, 13, 1);
+$OC_Version = array(12, 0, 13, 2);
 
 // The human readable string
-$OC_VersionString = '12.0.13 RC 2';
+$OC_VersionString = '12.0.13';
 
 $OC_VersionCanBeUpgradedFrom = [
 	'nextcloud' => [