Steps to reproduce:
Find a post that has been edited at least once.
Go to the revisions history
Click 'Edit' on an earlier revision:
Do not edit the body, just add a random edit summary.
Submit your edits.
Now you're one of the post editors, however, your name doesn't show in its revision history nor is the edit registered under "posts edited" in your profile! The problem is, I haven't managed to reproduce the bug in some posts, while in others, I have.
What's going on?