Subject: Re: bug#35597: GNOME Tweak Tool does not start

From: Ricardo Wurmus <[email-masked]>
Date: Fri, 10 May 2019 13:35:35 +0200

This is now fixed with commit d13f3a033e42b4a14d581390b8fa36cd1db7d023,
which I adjusted from wip-gnome3.30.

-- 
Ricardo