Version updated to 3.5.12