Re: Should we add GUCs to allow partition pruning to be disabled?

On Mon, May 07, 2018 at 06:00:59PM +1200, David Rowley wrote:
> Many thanks for reviewing this.

2nd round - from the minimalist department:

+    partitions which cannot possibly contain any matching records.
maybe: partitions which cannot match any records.

+   <para>
+    Partition pruning done during execution can be performed at any of the
+    following times:

remove "done"?

+       number of partitions which were removed during this phase of pruning by
remove "of prunning"

Justin