Re: GNOME 3.10.2 Release

[Bastien Nocera <hadess hadess net>]

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

Cheers