Wrong formatting of the word 'executed' - Mailing list pgsql-docs

From PG Doc comments form
Subject Wrong formatting of the word 'executed'
Date
Msg-id 156405789146.1190.11864810353757307019@wrigleys.postgresql.org
Whole thread Raw
Responses Re: Wrong formatting of the word 'executed'
List pgsql-docs
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/11/plpgsql-expressions.html
Description:

In section 43.4, in the sentence "(...) and then this prepared statement is
EXECUTEd (...)", the word executed should be modified to lower case.

pgsql-docs by date:

Previous
From: PG Doc comments form
Date:
Subject: Missing preposition 'of'
Next
From: Tom Lane
Date:
Subject: Re: Missing preposition 'of'