Thread:MarioFan5050/@comment-25653892-20150217045246/@comment-3551372-20150217204415

In the case of this problem where he made a bad edit, undoing wouldn't have been good because I would have had to undo his edit (which might not go well), and then rollback. Editing once to fix it was the better option.

Undoing and rollbacking should just be a priority no matter what but here, the history edit was better.