In this specific case, Kami's edit may have been far more innocent as there is the theoretical possibility that their edit conflicted with an edit by the OP, made in the grace period. The timeline would have been:
- 09:12:55 OP posts first revision of question; it includes the extra newlines in the code block.
- Some time before 09:17:55 Kami opens the editor window to edit the post; they are editing a version with those newlines in.
- Some time afer step two but before 09:17:55 the OP edits their post, posting a new revision with the newlines removed and other changes made.
- 09:19:19 Kami submits their edit. The changes made are the exact same changes the OP made, except for removing the extra newlines.
Kami may or may not have been given a warning about another change having been posted; you don't get one on the mobile version of the website, IIRC.
Rolling back the edit was fine here, but don't go into a rollback war, ever. You can leave a comment politely asking what the edit was about. Although editor names are not autocompleted when using
@, they are still notified if you manually type out their name (prepend with
@, remove spaces,
@Kami will work here).
On the whole, you can assume that an honest error was made here.