On Mon, Dec 09, 2024 at 09:18:48PM -0500, Tom Lane wrote:> Obvious typo indeed (probably my fault :-()
As a matter of fact, you are right as this comes from 0a20ff54f5e6.No worries, I'll go fix that.--Michael