Jerzy Dudzic <jerzy@dudzic.pl> writes:
> I've managed to do that(github v12 tip) - problem doesn't exist any more
> so that's great news! Although I created a new db cluster using newly
> built executables - not sure if that's relevant.
That's good news, thanks for following up!
regards, tom lane