main ← correct-push-notification-delay
merged 04:22PM - 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