Version bump to dev.12