After a long delay (while we're busy working on the upcoming Godot 3.2 release), here's a new maintenance update for the stable 3.1 branch!
It's still the same feature set as the Godot 3.1.1 version that was on Steam the past 6 months, but the update fixes some known issues both in the editor and in the exported runtime, and brings a load of usability enhancements and documentation updates.
The update should be seamless for all users, but in case you experience any regression, please report it as soon as possible on GitHub: https://github.com/godotengine/godot
If you need to go back to 3.1.1-stable for some reason, it is currently available on the stable-3.1 Steam branch (but that branch will also be updated to 3.1.2-stable in coming days if no big regressions are reported).
Head over to the Godot Engine blog to read the announcement about the 3.1.2 release and the main changes it includes: https://godotengine.org/article/maintenance-release-godot-3-1-2
Stay tuned for Godot 3.2, which is currently in beta (available from the Godot Engine blog) and should be released in coming weeks.