Daniel Gustafsson <daniel(at)yesql(dot)se> writes:
>> 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).
Agreed. Will push in a bit.
regards, tom lane