Yesterday, I was commenting on a post, and another user named Chris was also commenting. I came back on a while later, and I had a notification on the question. I went to check the question and saw that the original poster had replied in a comment, but used
@Chris as the user they were pointing the comment to.
Should I have been notified for this? Or was there some logic confusion between my name (christiandev) and the other users' name (Chris)?