From d254797f561b0f7a2f3feeaa8bb868ad2d3c74be Mon Sep 17 00:00:00 2001
From: Joas Schilling <coding@schilljs.com>
Date: Wed, 19 Jul 2017 16:18:30 +0200
Subject: [PATCH] Trigger update to run the migration

Signed-off-by: Joas Schilling <coding@schilljs.com>
---
 version.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.php b/version.php
index d9e26eafce..649c8ae738 100644
--- a/version.php
+++ b/version.php
@@ -26,7 +26,7 @@
 // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel
 // when updating major/minor version number.
 
-$OC_Version = array(13, 0, 0, 1);
+$OC_Version = array(13, 0, 0, 2);
 
 // The human readable string
 $OC_VersionString = '13.0.0 alpha';