Hi,
On 2023-03-13 23:46:41 +0300, Nazir Bilal Yavuz wrote:> Thanks for the patch, I understand the problem now and your patch fixes this.
Pushed the patch.
Greetings,
Andres Freund