Re: Problem with default partition pruning

On 2019-Aug-04, Alvaro Herrera wrote:

> So this is the best commit messages I could come up with at this stupid
> hour.  I think the wording is pretty poor but at least it seems correct.
> I'm not sure I'll be able to get this pushed tomorrow, but I'll try.

Pushed.  Since this is Sunday before minors, I'll be checking buildfarm
and will summarily revert if anything goes wrong.

-- 
Álvaro Herrera                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services