On Saturday, April 6, 2024, PG Doc comments form <nore...@postgresql.org> wrote:
> The following documentation comment has been logged on the website: > > Page: https://www.postgresql.org/docs/16/plpgsql-declarations.html > Description: > > Under 43.3.1, "Notice that we omitted RETURNS real — we could have included > it, but it would be redundant." > Should that be "RETURNS tax" instead of "RETURNS real"? > The docs are correct. David J.
