On Fri, 3 Feb 2017, David Malcolm wrote:
> I took the liberty of committing this, under the "obvious" rule.

Thanks!  No liberty, no need to quote the "obvious" rule, just
be my guest making changes like this (and beyond). :-)

Gerald

Reply via email to