A multi-device push rollout remains incomplete while old logout behavior survives

A server can store multiple push tokens per user while an old application's logout still removes...