version bump to 1.25.2

Did I do that right? Is there a way to automatically update HISTORY.md ?? :flushed: