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)