Update version number for 5.25.2

GIT_SILENT
3 jobs for v5.25.2 in 2 minutes and 5 seconds (queued for 4 minutes and 57 seconds)
latest