Hi André,
> On 01. May, 2020, at 16:03, André Hänsel <andre@webkr.de> wrote:
>
> 11.7-2.pgdg18
is this Ubuntu? A pre-packaged version?
I use openSUSE as a dedicated server and, as said, compiled on that machine. Did you try an 11.7 compiled from source
onthat machine? I always recommend this. :-)
Cheers,
Paul