This release contains no functional changes, and is published to align its version number with that of the MySQL Server 8.0.25 release.