On 01/09/2023 15:49, Peter Eisentraut wrote:
Is the patch 0003-Remove-unnecessary-smgrimmedsync-when-creating-unlog.patch still relevant, or can this commitfest entry be closed?
Yes. Pushed it now, thanks! -- Heikki Linnakangas Neon (https://neon.tech)
