Subject: Re: bug#36634

From: Raghav Gururajan <[email-masked]>
Date: Thu, 25 Jul 2019 23:51:49 -0400

> I have applied ‘your’ patch in 
> 41097b2dee9367974c6dd16ac1ba2ee945457237.
> 
> I'm closing this bug for now.  However, could you update and 
> confirm that this actually solves the problem?

Oh Shoot! I just saw your previous reply and replied to it. Sorry for
the delay. Anyway that patch fixes something, so good.

You do not have to close the bug. I will update this mail list once I
receive the correct patch. :)

Regards,
RG.