Thread: doc CREATE INDEX

doc CREATE INDEX

From
Erik Rijkers
Date:
This one seems to have fallen by the wayside.

Erik

Attachment

Re: doc CREATE INDEX

From
Alvaro Herrera
Date:
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:
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