Re: devhelp freeze break request

[Matthias Clasen <matthias clasen gmail com>]

On Mon, Mar 25, 2013 at 5:35 AM, Frederic Peters <fpeters gnome org> wrote:
> Hi,
>
> Ignacio Casal Quinteiro changed devhelp to use GdHeaderBar (in place
> of GdMainToolbar); this improves the styling and allows to drag the
> header bar to move the window.
>
> This is minor but it improves consistency with other apps, I'd like to
> request an exception to land this is,
>   https://git.gnome.org/browse/devhelp/commit/?h=wip/headerbar

The patch looks correct, but also doesn't exactly look like the stuff
you'd land on the night before release...
I vote for 3.8.1 on this one.