Subject: Re: [bug#40707] v3

From: "Raghav Gururajan" <[email-masked]>
Date: Sat, 21 Nov 2020 21:31:22 +0000

Hi Chris!

> 
> It's been a few months, is this patch still relevant?

Nah! It's not relevant anymore. I'll close it.

Regards,
RG.