When I edit a comment on Facebook or Instagram do the people tagged on the edit get notified because of it?

Let’s say I have 3 friends: Homer, Carl and Lenny.

I made a comment on a party meme like: “@homer this party looks amazing!”

Then I remember to tag my other friends, so I edit the comment.

The comment now says: “@homer @carl @lenny this party looks amazing!”

Do @carl and @lenny get notified about that or will only @homer hear about it?