> On 8 Apr 2020, at 02:21, Jeff Davis <pg...@j-davis.com> wrote: > The attached patch is narrow and solves the problem for HashAgg nicely > without interfering with anything else, so I plan to commit it soon for > v13.
If I read this thread correctly, there is nothing outstanding here for 14 from this patch? I've marked the entry committed i the July commitfest, feel to free to change that in case I misunderstood. cheers ./daniel