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-55a8a879727a3e3a@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)