On 2021-Oct-22, Kevin Sweet wrote: > The bugs team agreed that it's a bug. The documentation accurately > represents the buggy code. I thought you might want to update the doc > when the bug is fixed.
It looks like the bug and the docs have both been fixed for months. I just somehow failed to realize that I was replying to such an old message. Sorry for the noise. https://postgr.es/m/17128-55a8a879727a3...@postgresql.org -- Álvaro Herrera 39°49'30"S 73°17'W — https://www.EnterpriseDB.com/ "The Gord often wonders why people threaten never to come back after they've been told never to return" (www.actsofgord.com)
