On 2026-05-14 Th 2:02 AM, Michael Paquier wrote:
On Wed, May 13, 2026 at 12:57:50PM +0300, Nazir Bilal Yavuz wrote:I think you are right and I confirm that your patch fixes the problem.Indeed, good catch! I'll go double-check the area before doing something. Thanks for the report!
Thanks for jumping on this, you beat me to it. cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com
