Hi David. Thanks for addressing my comments.
On 2018/05/07 15:00, David Rowley wrote: > v2 patch is attached. Looks good to me. Thanks, Amit
- Re: Should we add GUCs to allow partition pruning to be ... Amit Langote
- Re: Should we add GUCs to allow partition pruning to be ... Justin Pryzby
- documentation fixes for partition pruning, round two Justin Pryzby
- Re: documentation fixes for partition pruning, round two David Rowley
- Re: documentation fixes for partition pruning, round two Justin Pryzby
- Re: documentation fixes for partition pruning, round two Amit Langote
- Re: documentation fixes for partition pruning, round two Justin Pryzby
- Re: documentation fixes for partition pruning, round two Alvaro Herrera
- Re: documentation fixes for partition pruning, round two Alvaro Herrera
- Re: documentation fixes for partition pruning, round thr... Justin Pryzby
- Re: Should we add GUCs to allow partition pruning to be ... Amit Langote
- Re: Should we add GUCs to allow partition pruning to be ... Amit Langote
- Re: Should we add GUCs to allow partition pruning to be ... David Rowley
- Re: Should we add GUCs to allow partition pruning to be ... David G. Johnston
- Re: Should we add GUCs to allow partition pruning to be ... David Rowley
- Re: Should we add GUCs to allow partition pruning to be ... Alvaro Herrera
- Re: Should we add GUCs to allow partition pruning to be ... David G. Johnston
- Re: Should we add GUCs to allow partition pruning to be ... Alvaro Herrera
- Re: Should we add GUCs to allow partition pruning to be ... Robert Haas
- Re: Should we add GUCs to allow partition pruning to be ... David G. Johnston
- Re: Should we add GUCs to allow partition pruning to be ... Alvaro Herrera
