Hi,
On 2022-10-12 12:27:54 -0700, Andres Freund wrote:> I intentionally put my changes into a fixup commit, in case you want to look> at the differences.
I pushed the (combined) patch now. Thanks for your contribution!
Greetings,
Andres Freund