public inbox for [email protected]
help / color / mirror / Atom feedFrom: Noah Misch <[email protected]>
To: David Rowley <[email protected]>
Cc: Justin Pryzby <[email protected]>
Cc: Robert Haas <[email protected]>
Cc: Joe Conway <[email protected]>
Cc: PostgreSQL-development <[email protected]>
Cc: Fabien COELHO <[email protected]>
Cc: Amit Kapila <[email protected]>
Cc: Masahiko Sawada <[email protected]>
Subject: Re: typos
Date: Tue, 5 Jul 2022 00:51:39 -0700
Message-ID: <[email protected]> (raw)
In-Reply-To: <CAApHDvpf3OxMQcod4P_cV49LXo_ODyxEyvJiF65UuAmPAJTP6Q@mail.gmail.com>
References: <[email protected]>
<CAApHDvo5FDOmmLQL=em+11C4J=-Xz-BPNQXddjgRcn3AaR-MqQ@mail.gmail.com>
<[email protected]>
<CAApHDvpf3OxMQcod4P_cV49LXo_ODyxEyvJiF65UuAmPAJTP6Q@mail.gmail.com>
On Thu, Apr 14, 2022 at 08:56:22AM +1200, David Rowley wrote:
> 0007: Not pushed. No space after comment and closing */ pgindent
> fixed one of these but not the other 2. I've not looked into why
> pgindent does 1 and not the other 2.
> -/* get operation priority by its code*/
> +/* get operation priority by its code */
pgindent never touches comments that start in column zero. (That's why many
column-0 comments are wrapped to widths other than the standard 78.)
view thread (19+ messages) latest in thread
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: [email protected]
Cc: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected], [email protected], [email protected]
Subject: Re: typos
In-Reply-To: <[email protected]>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox