release 0.25.2