Thread: doc CREATE INDEX

doc CREATE INDEX

From

Erik Rijkers

Date:

16 November 2020, 15:26:36

This one seems to have fallen by the wayside.

Erik

Attachment

create_index.sgml.20201116.diff

Re: doc CREATE INDEX

From

Alvaro Herrera

Date:

16 November 2020, 17:04:57

On 2020-Nov-16, Erik Rijkers wrote:

> This one seems to have fallen by the wayside.

So it did.

Pushed to all three branches, thanks.

Re: doc CREATE INDEX

From

Bruce Momjian

Date:

16 November 2020, 19:15:11

On Mon, Nov 16, 2020 at 11:04:57AM -0300, Álvaro Herrera wrote:
> On 2020-Nov-16, Erik Rijkers wrote:
> 
> > This one seems to have fallen by the wayside.
> 
> So it did.
> 
> Pushed to all three branches, thanks.

I have applied with to PG 9.5-11, which also had the odd wording.

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

  The usefulness of a cup is in its emptiness, Bruce Lee