Changed the program version number to 3.1.2.
Authored by: bugman 2014-01-13
Parent: [r21970]
Child: [r21972]