4 ms·

There are also gestures for it now - undo is swipe left with 3 fingers and redo - same but to the right.