On 02/18/2018 11:25 AM, Yury Gribov wrote:
> Hi all,
> 
> This uses ${TMPDIR:-/tmp} instead of /tmp in scripts in contrib folder.
> 
> Ok for trunk?
> 
> -Y
> 
OK.
jeff

Reply via email to