On Tue, Nov 07, 2023 at 12:43:18PM +0100, Alvaro Herrera wrote:> I agree, and I intend to get this patch pushed once the release freeze> is lifted.
Thanks!--Michael