Version bump for 3.1.2 final