On Sat, 11 Feb 2023 at 04:34, Andrew Dunstan <andrew@dunslane.net> wrote:
>
> On 2023-02-09 Th 15:25, David Rowley wrote:
> Likely the hardest part to get right here is the new name. Can anyone
> think of anything better than debug_parallel_query?
>
>
> WFM
Thanks for chipping in.
I've attached a patch which fixes the problem John mentioned.
I feel like nobody is against doing this rename, so I'd quite like to
get this done pretty soon. If anyone else wants to voice their
opinion in regards to this, please feel free to do so. +1s are more
reassuring than silence. I just want to get this right so we never
have to think about it again.
If nobody is against this then I'd like to push the attached in about
24 hours from now.
David