On Wed, Nov 17, 2021 at 02:19:20PM -0500, Tom Lane wrote:> Pushed then; thanks for reviewing that. We can consider the fsync> error question at leisure.
Fine by me. Thanks for the commit.--Michael