Gboard starts rolling out ‘Undo’ button on Android

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