Add 0.5.1.2 release