This release contains no functional changes and is published to align the version number with the MySQL Server 8.4.2 release.