Tagging for 1.2.5 release