Doc: fix incorrect punctuation
authorDavid Rowley <drowley@postgresql.org>
Mon, 21 Apr 2025 23:04:04 +0000 (11:04 +1200)
committerDavid Rowley <drowley@postgresql.org>
Mon, 21 Apr 2025 23:04:04 +0000 (11:04 +1200)
commitd010cc6ccacf88926255d3ae2d67dad3e332ae8a
treeff82a565f691db0aca88602d5b48d1cf9a7e2ec2
parent90260e2ec6bbfc3dfa9d9501ab75c535de52f677
Doc: fix incorrect punctuation

Author: Noboru Saito <noborusai@gmail.com>
Discussion: https://postgr.es/m/CAAM3qnJtv5YbjpwDfVOYN2gZ9zGSLFM1UGJgptSXmwfifOZJFQ@mail.gmail.com
Backpatch-through: 17
doc/src/sgml/monitoring.sgml