Re: Minor comment fixes for instrumentation.h

Rafia Sabih <rafia.pghackers@gmail.com>

From: Rafia Sabih <rafia.pghackers@gmail.com>
To: Robert Haas <robertmhaas@gmail.com>
Cc: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Date: 2019-12-05T13:51:58Z
Lists: pgsql-hackers
On Thu, 5 Dec 2019 at 14:45, Robert Haas <robertmhaas@gmail.com> wrote:
>
> On Tue, Dec 3, 2019 at 8:36 AM Rafia Sabih <rafia.pghackers@gmail.com> wrote:
> > While going through this file I noticed some inconsistencies in the
> > comments. Please find attachment for the fix.
>
> Committed. I think only the duplicated word is a clear error, but the
> other changes seem like mild improvements, so pushed the whole thing.

True and thank you.

-- 
Regards,
Rafia Sabih