Thanks a lot for fixing it!
On Fri, Oct 23, 2020 at 1:12 PM Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
> > On 23 Oct 2020, at 12:26, PG Bug reporting form <noreply(at)postgresql(dot)org>
> wrote:
>
> > Sort-Space is incorrectly finished with /Sort-Spaces
>
> Nice catch, it was introduced in the Incremental Sort patch, both for disk
> and
> memory type sorts as per the attached (unless the opening of the group was
> supposed to be "Sort Spaces" but singular seems the right choice here).
>
> cheers ./daniel
>
>