From c21bd5792fef72b6ae9f6aac7c46d5a3422c2155 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcos=20C=C3=A1ceres?= Date: Sat, 7 Sep 2019 12:06:53 +1000 Subject: [PATCH] Editorial: subscription deregistration happens magically --- index.html | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 4933bbe..bca4ad2 100644 --- a/index.html +++ b/index.html @@ -282,9 +282,11 @@

A push subscription is deactivated when its associated service worker registration is unregistered, though a push subscription MAY be - deactivated earlier. A push subscription is removed when the - clear registration - algorithm is run for the service worker registration. + deactivated earlier. +

+

+ A push subscription is removed when service worker registration is + cleared.