Ralf Wildenhues <[email protected]> writes:

> +** The `$tmp' temporary directory used in config.status is documented for
> +   public use now.

It would be nice to mention the version that introduced this
feature.
-- 
Ben Pfaff 
http://benpfaff.org



Reply via email to