> Okay with a proper log entry, and crediting Jeff for the bug report,
> including addition to THANKS (unless Jeff rejects that).
> No need for testsuite exposure.

Credit is always appreciated, thank you.

Jeff

Reply via email to