Re: [Patch] Rename PQtraceSetFlags to PQsetTraceFlags for bookindex.html

[Noah Misch]

On Mon, Jun 21, 2021 at 02:36:19AM +0000, zhangj...@fujitsu.com wrote:
> Here is a patch.

Pushed.