Subject: Re: bug#37792: [PATCH] Fix tree-widget image creation

From: Lars Ingebrigtsen <[email-masked]>
Date: Sat, 19 Oct 2019 10:41:04 +0200

Thanks for the patch -- an very similar one was just applied earlier
today.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no