Drop unused tables principalgroups and principals

* was removed in 3e84f170e7

lib/repair/dropoldtables.php

@@ -85,6 +85,8 @@ class DropOldTables extends BasicEmitter implements RepairStep {
 			'media_users',
 			'permissions',
 			'pictures_images_cache',
+			'principalgroups',
+			'principals',
 			'queuedtasks',
 			'sharing',
 		];

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';