From 1771b8275c308ce99257f3a9e7050066e8222a7d Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Tue, 26 Jul 2016 19:01:27 -0700 Subject: [PATCH] Remove unused get_other_subscriber_ids. --- zerver/lib/actions.py | 5 ----- 1 file changed, 5 deletions(-) diff --git a/zerver/lib/actions.py b/zerver/lib/actions.py index e8dc3b10c4..b7269a6cda 100644 --- a/zerver/lib/actions.py +++ b/zerver/lib/actions.py @@ -1203,11 +1203,6 @@ def get_subscriber_ids(stream): ids = [row['user_profile_id'] for row in rows] return ids -def get_other_subscriber_ids(stream, user_profile_id): - # type: (Stream, int) -> List[int] - ids = get_subscriber_ids(stream) - return [id for id in ids if id != user_profile_id] - def maybe_get_subscriber_emails(stream): # type: (Stream) -> List[text_type] """ Alternate version of get_subscriber_emails that takes a Stream object only