On Mon, Feb 20, 2017 at 05:31:15PM -0800, Martin Dorey wrote:
> I enclose a patch to address that.

Thanks!

> I don't know at this juncture whether it fixes my original problem.
> I doubt it but fingers crossed.

Good luck.

Reply via email to