main ← correct-push-notification-delay
opened 03:52PM - 28 Mar 23 UTC
When user.last_seen was less than push_notification_time_window_mins we
where de…laying the notification for the whole
push_notification_time_window_mins PLUS the time the user was away from.
Originally reported in https://meta.discourse.org/t/-/259688