From beb80219a870b4d3a53d9f49bc268b8901d47ade Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Tue, 27 Nov 2018 09:17:07 -0800 Subject: [PATCH] push notifications: Fix a comment typo. --- zerver/lib/push_notifications.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zerver/lib/push_notifications.py b/zerver/lib/push_notifications.py index 098f2ad110..0b47bdb8af 100644 --- a/zerver/lib/push_notifications.py +++ b/zerver/lib/push_notifications.py @@ -637,7 +637,7 @@ def handle_push_notification(user_profile_id: int, missed_message: Dict[str, Any user_profile = get_user_profile_by_id(user_profile_id) (message, user_message) = access_message(user_profile, missed_message['message_id']) if user_message is not None: - # If ther user has read the message already, don't push-notify. + # If the user has read the message already, don't push-notify. # # TODO: It feels like this is already handled when things are # put in the queue; maybe we should centralize this logic with