From 3778680f3f72440c3da849c2974273bab209576f Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Thu, 5 Nov 2015 08:40:21 +0100
Subject: [PATCH] Drop unused tables principalgroups and principals

* was removed in 3e84f170e7133d9acc46123ba4c901a24e438b2c
---
 lib/repair/dropoldtables.php | 2 ++
 version.php                  | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/repair/dropoldtables.php b/lib/repair/dropoldtables.php
index cfe0df6cb5..257ffd0d86 100644
--- a/lib/repair/dropoldtables.php
+++ b/lib/repair/dropoldtables.php
@@ -85,6 +85,8 @@ class DropOldTables extends BasicEmitter implements RepairStep {
 			'media_users',
 			'permissions',
 			'pictures_images_cache',
+			'principalgroups',
+			'principals',
 			'queuedtasks',
 			'sharing',
 		];
diff --git a/version.php b/version.php
index dd499a8d1d..7f45f5899e 100644
--- a/version.php
+++ b/version.php
@@ -25,7 +25,7 @@
 // We only can count up. The 4. digit is only for the internal patchlevel to trigger DB upgrades
 // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel
 // when updating major/minor version number.
-$OC_Version = array(9, 0, 0, 1);
+$OC_Version = array(9, 0, 0, 2);
 
 // The human readable string
 $OC_VersionString = '9.0 pre alpha';
-- 
GitLab