This is a niggling doubt I've had for some time now, so thought might as well get it cleared up. I often add comments and forget to @ notify someone. If I edit the comment and add the @username later, will the user still be notified or are notifications sent out only when the comment is first posted? Asking because many times it has seemed as if notifications weren't sent out after comment editing.
As noted in the comments to this question, editing
@ into a comment does notify the target user.
(status-norepro would seem to make sense here, but this isn't a bug report