From 5aca062100fefb3fb6606228045161ff4a892075 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Thu, 31 May 2018 17:23:36 +0200
Subject: [PATCH] Remove not needed change

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
---
 lib/private/Repair.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/lib/private/Repair.php b/lib/private/Repair.php
index 27746993443..72407d2570c 100644
--- a/lib/private/Repair.php
+++ b/lib/private/Repair.php
@@ -47,8 +47,6 @@ use OC\Repair\RepairMimeTypes;
 use OC\Repair\RepairInvalidShares;
 use OC\Template\JSCombiner;
 use OC\Template\SCSSCacher;
-use OCA\DAV\Connector\Sabre\Principal;
-use OCA\DAV\Repair\RemoveInvalidShares;
 use OCP\AppFramework\QueryException;
 use OCP\Migration\IOutput;
 use OCP\Migration\IRepairStep;
-- 
GitLab