Version bump to 10.1.2 (for development)