Edit/update: Turns out that rene caught this:
the mod added a space between the @ and the username. I don't think that qualifies as a valid @-reply. No inbox notifications are expected in that case. Not sure what happened there, maybe auto-correct? – rene
So, how do I go about contacting the moderator, or should I bother?
Original post:
I did not receive a ping/message notification when a moderator used my @username for a comment to me in a question after the question was deleted (by the moderator) and it also does not show in both the dropdown or the inbox. Other messages sent directly to me by another member though, appeared.
Another member was pinged directly and there was a message to the OP at the end that I am not quite sure they received also.
I only saw the message(s) when I revisited the question from a flag I raised to a moderator.
I don't need to know why, I just wanted to post this as a possible bug.
However, if this isn't a bug; is there a reason?
The question (if needed) was the following (10k+):
For the record, the moderator's message was sent at 19:13:14 and the post was deleted by the moderator at 19:13:24 both yesterday being 2018-07-24.