On Thu, Aug 29, 2013 at 8:59 PM, Javier Jardón <jjar...@gnome.org> wrote: > On 29 August 2013 20:43, Allan Day <allanp...@gmail.com> wrote: >> Hi everyone, >> >> We've got a small cosmetic change that we'd like to make. The session >> menu in the login screen was changed in 3.10. Unfortunately, the >> "Session" heading lost its styling, so it looks like a regular menu >> item. >> >> The change simply involves making "Session" bold. Here's a screenshot >> from the bug [1]: >> >> https://bug707072.bugzilla-attachments.gnome.org/attachment.cgi?id=253544 > > Im not a designer, but should the "Session" entry exist at all? > Anyway, Its a small change, so 1/2 for release team
Ha, yes. I think you're right. Let's say we'll just remove it. I'm assuming we still have your +1. :) Sorry docs people, I think I misspelled the address of the docs list in my original mail. Allan _______________________________________________ release-team@gnome.org https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.