projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ef2859) | patch
docs: make monitoring "phases" table titles consistent
authorBruce Momjian <bruce@momjian.us>
Fri, 15 Jul 2022 00:01:11 +0000 (20:01 -0400)
committerBruce Momjian <bruce@momjian.us>
Fri, 15 Jul 2022 00:01:11 +0000 (20:01 -0400)
commitad8c8ee415da2d5437a346f1a57d873467d60812
tree09304e3ab6a2a976488fae435ded75100a41ca6dtree
parent8ef2859163d2355c47e0cce2aef11b0480ca1e5fcommit | diff
docs:  make monitoring "phases" table titles consistent

Reported-by: Nitin Jadhav
Discussion: https://postgr.es/m/CAMm1aWbmTHwHKC2PERH0CCaFVPoxrtLeS8=wNuoge94qdSp3vA@mail.gmail.com

Author: Nitin Jadhav

Backpatch-through: 13
doc/src/sgml/monitoring.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.