A typo? - Mailing list pgsql-docs

From PG Doc comments form
Subject A typo?
Date
Msg-id 171245737396.684.15990836655513105624@wrigleys.postgresql.org
Whole thread Raw
Responses Re: A typo?
Re: A typo?
List pgsql-docs
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"?

pgsql-docs by date:

Previous
From: PG Doc comments form
Date:
Subject: RE: ts_headline performance note
Next
From: "David G. Johnston"
Date:
Subject: Re: A typo?