On Tue, Jan 14, 2020 at 02:45:02PM -0500, Stephen Frost wrote:
> > > I think that "predefined role" is better than "default role".
> >
> > Thanks, patch applied through 9.6.
>
> Erm, I didn't agree with this and pointed to reasons why it was based,
> for starters, on a misunderstanding and
Greetings,
* Bruce Momjian (br...@momjian.us) wrote:
> On Tue, Jan 7, 2020 at 11:46:31AM +0100, Laurenz Albe wrote:
> > On Fri, 2019-12-27 at 12:16 -0500, Bruce Momjian wrote:
> > > On Fri, Dec 27, 2019 at 05:44:10AM +, PG Doc comments form wrote:
> > > > The following documentation comment
On Tue, Jan 7, 2020 at 11:46:31AM +0100, Laurenz Albe wrote:
> On Fri, 2019-12-27 at 12:16 -0500, Bruce Momjian wrote:
> > On Fri, Dec 27, 2019 at 05:44:10AM +, PG Doc comments form wrote:
> > > The following documentation comment has been logged on the website:
> > >
> > > Page:
