Thread: pgsql: Minor comment improvements for instrumentation.h

Minor comment improvements for instrumentation.h

Remove a duplicated word. Add "of" or "# of" in a couple places
for clarity and consistency. Start comments with a lower case
letter as we do elsewhere in this file.

Rafia Sabih

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/42f362967d9f82043608610c689c24046e07497c

Modified Files
--------------
src/include/executor/instrument.h | 24 ++++++++++++------------
1 file changed, 12 insertions(+), 12 deletions(-)