After testing got underway in January, Gboard is now widely rolling out Undo and Redo buttons/shortcuts on Android. Open the shortcuts menu for the new “Undo” button at the very end.