A small-but-important release to fix many of the hotkeys issues found in the 11.0 release, plus an issue with in-game where you could not hold down both the left and right mouse buttons without "one resetting the other" in some circumstances.
For the full list of the fixes in this release (there are no new features), please see the 2023.11.1 milestone page.