On Tue, Nov 09, 2021 at 09:40:47AM -0500, Tom Lane wrote:> OK by me, but probably should raise the issue in -hackers not just> -committers. Also, please back-patch once the release freeze lifts.
Sure.--Michael