Gboard starts rolling out ‘Undo’ button on Android

After first being spotted in development in July of 2023, the Gboard beta is beginning to roll out an “Undo” button...