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.