Bumped version number to 2.12.