On Tue, Jul 28, 2020 at 10:35:54AM -0400, Tom Lane wrote:> Yeah, given that it should be an unreachable case, there's likely> no need to back-patch.
Thanks. Fixed on HEAD then.--Michael