Minor comment improvements for instrumentation.h

Robert Haas <rhaas@postgresql.org>

Commit: 42f362967d9f82043608610c689c24046e07497c
Author: Robert Haas <rhaas@postgresql.org>
Date: 2019-12-05T12:56:29Z
Releases: 13.0
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

Files

PathChange+/−
src/include/executor/instrument.h modified +12 −12