My bad. Although it is included on the steps to make a release, each
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
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