Re: [Minor] Duplicated word in "Creating a Database" tutorial - Mailing list pgsql-docs

From David G. Johnston
Subject Re: [Minor] Duplicated word in "Creating a Database" tutorial
Date
Msg-id CAKFQuwaOrdS2qM4PvZbMZ3XA=6O0HFeUDQYutg9Oz=LO6AHeGg@mail.gmail.com
Whole thread
In response to Re: [Minor] Duplicated word in "Creating a Database" tutorial  (Daniel Gustafsson <daniel@yesql.se>)
Responses Re: [Minor] Duplicated word in "Creating a Database" tutorial
List pgsql-docs
On Friday, September 25, 2026, Daniel Gustafsson <daniel@yesql.se> wrote:
> On 24 Sep 2026, at 21:58, PG Doc comments form <noreply@postgresql.org> wrote:

> "that" is duplicated and should be removed.

It seems like a correct sentence to me, removing as per your suggestion would
AFAICT make it grammatically incorrect.

Probably, but wouldn’t saying “this user” instead of “that user” be equally correct without making the word “that” serve two roles in the paragraph and produce this annoying double-that construction?

David J.

pgsql-docs by date:

Previous
From: PG Doc comments form
Date:
Subject: log_line_prefix and JSON log format
Next
From: Tom Lane
Date:
Subject: Re: [Minor] Duplicated word in "Creating a Database" tutorial