doc: Fix type of cursor_position in jsonlog table
Michael Paquier <michael@paquier.xyz>
doc: Fix type of cursor_position in jsonlog table This entry was listed as a "string", but it is a "number. The other fields are correctly described, on a second look. Reported-by: Nuko Yokohama Author: Tatsuo Ishii Discussion: https://postgr.es/m/CAF3Gu1awoVoDP5d0_eN=cR=QkGVwH+OtFvwJkkc5cB_ZMWjyeA@mail.gmail.com Backpatch-through: 15
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/sgml/config.sgml | modified | +1 −1 |
Documentation touched
Discussion
- jsonlog cursor_position type is wrong. 6 messages · 2022-10-23 → 2022-10-25