cut the 0.7.12 release