Hi devs, I just created branch-3.1.2 for 3.1.2 release and pushed to remote. branch-3.1 is still open for new commits required for next 3.1.x release (which will be 3.1.3). In the meantime, branch-3.1.2 is closed for new commits unless further noticed. I'm working on RC0 of 3.1.2 release now.
Best, Wangda
