Les notifications ne se déclenchent pas

Un utilisateur signale que les notifications ne fonctionnent plus. Je ne sais pas comment procéder au dépannage.