On Mon, 2026-01-19 at 15:38 +0100, Christoph Berg wrote:> Re: Laurenz Albe> > How about the attached patch?> > Thanks, pushed with a minor update - with set -e, we need to use> ${PGOPTIONS:-} instead of $PGOPTIONS.
Thank you!
Yours,Laurenz Albe