On Wed, 11 Oct 2023 at 19:38, David Rowley <dgrowleyml@gmail.com> wrote:
>
> On Wed, 11 Oct 2023 at 16:26, Andrew Atkinson <andyatkinson@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