I'm referring to this post, which I've marked as duplicate, downvoted, commented and added changes: How to make a Facebook Messenger-like notification like this in Android
So I added the changes:
Original credit for this answer in '13 https://stackoverflow.com/a/15980900/1740059
However, another user edited the post with a number of misspellings:
Full details of this soluction is avaialble here -> https://stackoverflow.com/a/15980900/1740059
What's the convention/etiquette here? My revision is clearly before his in the revision history, yet it's the same change, but with their name. I'm inclined to revert their change, but I wanted to ask here first.
This is similar to Proper Etiquette for Editing a Post that was Already Edited.