Re: Yet another issue with step generation in partition pruning

[Etsuro Fujita]

On Thu, Aug 6, 2020 at 12:20 AM Etsuro Fujita <etsuro.fuj...@gmail.com> wrote:
> Will push the patch tomorrow.

Done.  (I didn't have time for this, because I was terribly busy with
other stuff.)

Best regards,
Etsuro Fujita