On Fri, 2017-09-08 at 16:31 +0100, Allan Day wrote:
> This is a break request that changes some visual styling in GNOME
> shell. The code changes are deliberately minimal. However, the visual
> change is noticeable.
>
> The design team recognise that it is late in the cycle but we'd be
> unhappy putting the release out in its current state.
>
> The bug containing the patch:
> https://bugzilla.gnome.org/show_bug.cgi?id=787446
Fine with me if the docs team is okay with this (screenshots).