Re: BUG #16380: documentation: host[no]gssenc vs.address/IP-address/IP-mask fields

On Tue, Apr 28, 2020 at 01:45:57PM -0400, Bruce Momjian wrote:
> On Tue, Apr 28, 2020 at 04:14:06PM +0200, Peter Eisentraut wrote:
> > On 2020-04-21 21:08, Bruce Momjian wrote:
> > >     <para>
> > > -   A record can have one of the seven formats
> > > +   A record can have one of the 11 formats
> > 
> > I think this sort of thing is a sign that the number should be replaced by
> > "several".
> 
> Agreed:
> 
> -   A record can have one of the 11 formats
> +   A record can have several formats:

Patch applied through PG 12.

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EnterpriseDB                             https://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +