Michael Paquier <michael.paquier@gmail.com> writes:
> On Sat, Dec 5, 2015 at 1:59 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Let's just put the cruft in tmp_check/ and call it good.
> +1. Having those folders with random names showing up when typing git
> statue is annoying, so voilà.
Looks good to me, so pushed.
regards, tom lane