Notifications for users tagged in comments
I've looked for this, and can't find a solution.
When a user is tagged in a comment (e.g. @User1) it would be great if they receved a notification - either by e-mail, or by the notification button (bell) in the top right of the window. Otherwise, there's no way to know if you've been tagged.