3.1.2 was released in late November and included a large number of bugfixes. Current repo version is 3.1.1

it's time for a long overdue update to the stable 3.1 branch: Godot 3.1.2 is now released with over 400 commits worth of bug fixes and improvements over the previous 3.1.1 version.

Full changelog:
https://downloads.tuxfamily.org/godotengine/3.1.2/Godot_v3.1.2-stable_changelog.txt

https://github.com/godotengine/godot/tree/3.1

It would be much appreciated if this could be included in the next batch of updates.. thanks!