RE: doc: Document how to run regression tests with custom server settings

On Wednesday, June 30, 2021 11:15 AM, Craig Ringer craig.ringer@2ndquadrant.com wrote

>Yes, that'd make a lot of sense.

> 

>PGOPTIONS is more suited for client settings.

> 

>Willing to cook up a quick patch?

Thanks for replying. Here is my patch to fix the doc issue. Kindly to take at check.

Regards,

Tang