projects / users / rhaas / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fe2d4c) | 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)
commit582c3e9e8b8d27bec2deb71025c8e85b6257c589
tree127dc0cfdc2eb3d75621d7401325629e4feaba7dtree
parent5fe2d4c56edd315780e3c6a00caaa5625a719a87commit | 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
Robert Haas's development tree.