git.postgresql.org Git - postgresql.git/commit
Thu, 5 Dec 2019 12:53:12 +0000 (07:53 -0500)
Thu, 5 Dec 2019 12:56:29 +0000 (07:56 -0500)
commit 42f362967d9f82043608610c689c24046e07497c
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
This is the main PostgreSQL git repository.
RSS
Atom