Pusher change history: Public EU cluster outage

Pusher reported a critical public EU cluster outage affecting customers in that region; other regions were unaffected. The incident ran from 2023-12-05 17:34 UTC to 2023-12-05 18:11 UTC, lasting 36 min. Pusher identified the issue and implemented a fix, reporting all services back online at 17:47 UTC.