Thread:GopluXPoplu/@comment-1087109-20190418055128/@comment-1087109-20190418093304

Ah. That's a shame. It adds pointless noise to the diffs. Might be caused by the fancy editor that opens up when you click 'undo'. Maybe it's more reliable to just manually edit code to undo changes.