Michael Paquier f186c7c885 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		2022-10-25 09:29:21 +09:00
..
src	doc: Fix type of cursor_position in jsonlog table	2022-10-25 09:29:21 +09:00
KNOWN_BUGS
Makefile
MISSING_FEATURES
TODO