On Wed, Nov 28, 2018 at 06:36:25AM +0900, Michael Paquier wrote:
> Yes, let's do so rather sooner than later if there are no objections
> from others. I am going to ping the other thread about what's discussed
> here additionally in case folks missed what you reported. Fixing the
> temp file issue which has been reported by Andres first is an additional
> bonus.
For the archive's sake, this is fixed by 5c99513 and a1c91dd.
--
Michael