On 11/21/2013 08:07 AM, Bastien Nocera wrote: > Hey, > > On Mon, 2013-11-18 at 18:26 +0100, Piñeiro wrote: >> Hello all, >> >> Here comes GNOME 3.10.2, the second update to GNOME 3.10, it includes >> many fixes, various improvements, and translation updates over 3.10.1, >> we hope you'll enjoy it. >> >> For more information about the major changes in GNOME 3.10, please >> visit our release notes: >> >> http://library.gnome.org/misc/release-notes/3.10/ > Could you please make sure that gnome-desktop always gets a new release > for those types of bug fix updates? > > Otherwise the GNOME version in the Details panel of the control-center > doesn't get a bump: > https://bugzilla.gnome.org/show_bug.cgi?id=712786
My bad. Although it is included on the steps to make a release, each time I did the release, a new release of gnome-desktop was available without the need of doing anything from my part. So I forget to check it this time. Thanks to Matthias for solving this, and sorry for any inconvenience. Best regards -- ---- Alejandro Piñeiro _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list