Ricardo Wurmus Sun, 20 Jan 2019 11:18:57 -0800
Hi Arun,
> I've attached a patch addressing this issue. May I push it? This looks fine to me. Thanks! -- Ricardo