Set version number to 5.1.2

Authored by brauch on Aug 15 2017, 9:22 AM.