On Thu, Oct 03, 2024 at 08:12:28PM -0400, Tom Lane wrote:> OK, if there's no objections let's push both remaining patches> to HEAD only.
Done as of f22e84df1dea and 430ce189fc45.--Michael