Thread:Andisimon/@comment-33834897-20200118083710/@comment-36836718-20200118083926

Yes, but as you could see it also undid all his previous edits so the current thing needs to be added back manually or only the last edit needs to be undone. No one edited in between which I didn't notice in time.