> 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