On Mon, Aug 03, 2020 at 12:47:22PM +0200, Theo Buehler wrote:
> I will commit a cleaned-up version of that diff soon.

I see. Thanks for clarification.

-- 
Regards,
 Mikolaj

Reply via email to