#It will not re-ping

From our experiment in the comments on this question, and from my own experience of using the site; editing comments will not refresh the notification from a mention. If a user is active enough to follow the notification within the 5 minute window for comment edits, they are presumably active enough to also catch any edits without the need for a new notification.

As a side note, the edit to the comment will not even show up unless the comments are reloaded, such as when posting your own comment, loading new ones, or refreshing the page.

It will not re-ping

From our experiment in the comments on this question, and from my own experience of using the site; editing comments will not refresh the notification from a mention. If a user is active enough to follow the notification within the 5 minute window for comment edits, they are presumably active enough to also catch any edits without the need for a new notification.

As a side note, the edit to the comment will not even show up unless the comments are reloaded, such as when posting your own comment, loading new ones, or refreshing the page.