On Tue, 19 Apr 2016 17:48:20 +0200 Gordian Edenhofer <[email protected]> wrote:
> There was not much time for a developer to update the theme ... I'm curious, how much time is reasonable here? These changes have been known for about 6 months now. https://blogs.gnome.org/mclasen/2015/11/20/a-gtk-update/
