Qual é o comportamento das menções de usuários em mensagens privadas?

Acabei de enviar aquela mensagem, mas não houve nenhum aviso e parece que os usuários mencionados não foram notificados.

Obrigado a ambos por participarem!