Re: [HACKERS] path toward faster partition pruning

[Jesper Pedersen]

Hi Amit,

On 01/26/2018 04:17 AM, Amit Langote wrote:

I made a few of those myself in the updated patches.

Thanks a lot again for your work on this.

This needs a rebase.

Best regards,
 Jesper