Fix for bug #8713: edge loop delete did an undo push too much.