Will edited comments reach addressees?
@username a fair bit in comments, but sometimes I manage forget the name when writing the comment, and I usually will spot this error instantly went doing my final double-check after posting - well within the 5mins edit time for comments.
So, if I then edit this comment and add the
@username, will it still generate the intended notifications for that user? Or, do I need to delete and repost the amended comment to trigger it?
For some reason I've been doing the latter, without really thinking about it, and it's finally dawned on me that it's probably easier to just ask.