Thanks, commited:
commit 3f8d1ca21e2571d8afd871239a29dff81ff429de
Regards
Ondrej Holy
___
release-team@gnome.org
https://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.
On 09/10/2013 07:51 PM, Javier Jardón wrote:
> On 10 September 2013 13:12, Ondrej Holy wrote:
>> It would be nice to land this:
>>
>> Bug 706239 - Background in login history is different from all other lists
>> https://bugzilla.gnome.org/show_bug.cgi?id=706239
>> (screenshot:
>> https://bug70623
On 10 September 2013 13:12, Ondrej Holy wrote:
> It would be nice to land this:
>
> Bug 706239 - Background in login history is different from all other lists
> https://bugzilla.gnome.org/show_bug.cgi?id=706239
> (screenshot:
> https://bug706239.bugzilla-attachments.gnome.org/attachment.cgi?id=25
It would be nice to land this:
Bug 706239 - Background in login history is different from all other lists
https://bugzilla.gnome.org/show_bug.cgi?id=706239
(screenshot:
https://bug706239.bugzilla-attachments.gnome.org/attachment.cgi?id=254567)
This patch slightly change UI of the history dialog