Update version number for 5.25.1

GIT_SILENT
3 jobs for v5.25.1 in 1 minute and 56 seconds (queued for 7 minutes and 25 seconds)
latest