On Wed, Oct 21, 2020 at 06:49:37AM -0700, David G. Johnston wrote:
> On Wed, Oct 21, 2020 at 1:14 AM PG Doc comments form
> wrote:
>
> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/13/plpgsql-control-structures.html
> De
On Fri, Oct 23, 2020 at 05:40:37PM -0400, Stephen Frost wrote:
> Therefore, on the whole, the proposal that I would put out there is:
>
> - Rename everything (code, docs, etc) to 'predefined roles' for v14+
> - Update the documentation (only) in back-branches to mention that the
> feature was re
