bumps version to 4.2.12
Merge pull request #7 from benhaan/bump-version-4.2.12

bumps version to 4.2.12