We will need to bump the version differently for GNOME 40. In the
meantime, just increment the micro version.