News in 5.10.0, 2023-09-16
--------------------------

5.10.0 corresponds with GNOME 45.0 and is meant for end-user
distribution.

Changes since 5.9.0:

 * Translation updates