19 Apr
2016
19 Apr
'16
4:03 p.m.
On Tue, 19 Apr 2016 17:48:20 +0200 Gordian Edenhofer <gordian.edenhofer@gmail.com> 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/