Re: Minor comment fixes for instrumentation.h

Robert Haas <robertmhaas@gmail.com>

From: Robert Haas <robertmhaas@gmail.com>
To: Rafia Sabih <rafia.pghackers@gmail.com>
Cc: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Date: 2019-12-05T13:44:52Z
Lists: pgsql-hackers
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.

-- 
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company