Wie verhält sich die Erwähnung von Benutzern in privaten Nachrichten?

Ich habe die Nachricht gerade gesendet, aber es gab keine Warnungen, und es sieht so aus, als ob die erwähnten Benutzer nicht benachrichtigt wurden.

Vielen Dank an euch beide für euren Beitrag!