On Sat, Dec 10, 2022 at 07:11:13PM -0500, Tom Lane wrote:
> Yeah, that looks like somebody didn't read the memo.
> Want to submit a patch?
The comment has been added in e3ce2de but the call originates from
6566133, so that's a HEAD-only issue.
--
Michael