jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/331984 )

Change subject: Remove unused "use"
......................................................................


Remove unused "use"

Because of commit d49d96232f045311dc1f21bf0d7e40adf82a1f1d

Change-Id: I73dac24c9cbf2ffd91d77cd5f0911b4c5edad65f
---
M src/Reader/Hash.php
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/src/Reader/Hash.php b/src/Reader/Hash.php
index 36bbc3b..8eaf670 100644
--- a/src/Reader/Hash.php
+++ b/src/Reader/Hash.php
@@ -3,7 +3,6 @@
 namespace Cdb\Reader;
 
 use Cdb\Reader;
-use Wikimedia\Assert\Assert;
 
 /**
  * Hash implements the CdbReader interface based on an associative

-- 
To view, visit https://gerrit.wikimedia.org/r/331984
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I73dac24c9cbf2ffd91d77cd5f0911b4c5edad65f
Gerrit-PatchSet: 1
Gerrit-Project: cdb
Gerrit-Branch: master
Gerrit-Owner: Ricordisamoa <ricordisa...@openmailbox.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Ricordisamoa <ricordisa...@openmailbox.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to