Quel est le comportement des mentions d'utilisateurs dans les messages privés ?

J’ai envoyé ce message, mais aucun avertissement n’est apparu et il semble que les utilisateurs mentionnés n’aient pas été notifiés.

Merci à vous deux d’avoir donné votre avis !