diff options
| author | Robert Haas <rhaas@postgresql.org> | 2019-12-05 07:53:12 -0500 |
|---|---|---|
| committer | Robert Haas <rhaas@postgresql.org> | 2019-12-05 07:56:29 -0500 |
| commit | 42f362967d9f82043608610c689c24046e07497c (patch) | |
| tree | ab24a2e2c80956c422baef81acdcea17d9650fb7 /src/tutorial/advanced.source | |
| parent | 9a798234963cd1f746ded41453392c257a4f9fdd (diff) | |
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
Diffstat (limited to 'src/tutorial/advanced.source')
0 files changed, 0 insertions, 0 deletions