4 ms·

This is what I thought the undo redo quandary would be. The fact that you can undo an undo seems like tablestakes to me.