I recently deleted a comment within seconds of posting it. I had pinged a user in that comment.
Will the user get notified? Will the notification be automatically removed, as it is obsolete? Will the user be able to see my deleted comment?
This question is related to the question pointed out but not the same.
I am not asking about notification to owner of the question or notification to the user who posted an answer. I am asking about notification to a commenter who was pinged using
@
.My question is a special case for which the given answers contradict each other. (check the comments in the second answer)
I am specifically asking about deletion within seconds. This was the case even before the question was edited. You will notice I only edited the title too reflect that now.
@
in a deleted comment who may not own the question or have posted an answer