Version 0.25.2 release