matthew green <[email protected]> writes:

> don't we also have TOOL_AWK to handle this?  (mind making that change too? :)

Sure, consider it done. :-) Waiting for a release to finish successfully
first.

Regards,
 Aymeric

Reply via email to