Re: Permission to merge preferences UI change

[Frederic Peters <fpeters gnome org>]

Matthias Clasen wrote:

> On Wed, Mar 9, 2011 at 3:30 PM, Xan Lopez <xan gnome org> wrote:
> > On Tue, Mar 8, 2011 at 11:42 PM, Shaun McCance <shaunm gnome org> wrote:
> >> Not a big deal for the current manual. It's barely mentioned,
> >> and the section it's mentioned in is already a bit outdated.
> >> Updating is trivial.
> >>
> >> Longer term, I'd like to see more topic-oriented help, and for
> >> that we should put some thought into what kinds of font sizing
> >> issues users encounter on the web and how we can address those
> >> issues better. But it's not on my 3.0 list.
> >>
> >
> > So do I have automatic rubberstamp from the Release Team or do I still
> > need two +1?
> 
> I give you my +1, in any case.

Seconded.


        Fred