On Wed, 11 Oct 2023 at 19:38, David Rowley <dgrowle...@gmail.com> wrote: > > On Wed, 11 Oct 2023 at 16:26, Andrew Atkinson <andyatkin...@gmail.com> wrote: > > "which allows grouping or aggregation on partitioned tables to be performed > > separately for each partition." > > This looks good to me. I can take care of this.
Pushed and backpatched to v11. David