> On 8. Jun 2020, at 23:41, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> PG Bug reporting form <noreply@postgresql.org> writes:
>> I believe I found a bug that causes EXPLAIN to produce JSON with
>> duplicate "Workers" arrays when the following conditions are met:
>
> Yeah ... this is fixed for v13 but we felt that back-patching such a
> change might cause more pain than benefit. See
>
> https://git.postgresql.org/gitweb/?p=postgresql.git&a=commitdiff&h=100136849
>
> regards, tom lane
Thanks, that's great : ).
I should have checked the latest code first before posting this.
Cheers
Felix